Knowledge

Talk:Quadratic residue

Source 📝

2229:"Because a^2 ≡ (n − a)^2 (mod n), the list of squares (mod n) is symmetrical around n/2, and the list only needs to go that high." This, as far as I am aware, is not provably true. I do know, though, that if a and n are relatively prime, this is absolutely true, and I have proven it myself. To avoid confusion, I changed it to say "Because a^2 ≡ (n − a)^2 (mod n) while a and n are relatively prime, ..." I add the citation needed because it is not immediately obvious, and there are citations that can be added. I have written up a proof in LaTex and compiled it to a PDF. Should I add this? If so, how should I cite it? 95: 85: 64: 31: 22: 1013:, only visible by admins). To answer your questions about article translation, most articles on different language projects are independently written, but there are some ad hoc translation projects. Please feel free to leave any other questions you have on my talk page, and remember to sign your talk page comments with four tildes (~~~~). 618:
and integer factoring are equivalent. It is clear that a polynomial time algorithm for integer factoring implies a polynomial time for QR. But how does the opposite direction work, i.e., how can we obtain a polynomial time algorithm for integer factoring from a polynomial time algorithm for QR? Could
1079:
Modulo an odd prime number p there are (p + 1)/2 residues (including 0) and (p − 1)/2 nonresidues. In this case, it is customary to consider 0 as a special case and work within the multiplicative group of nonzero elements of the field Z/pZ. (In other words, every congruence class except zero (mod p)
2490:
I think there may be a mistake in the section "Composite modulus not a prime power". The first sentence ends "... and the product of a residue and a nonresidue is a nonresidue (or zero)." But for example, modulo 6 the residue 3 times the nonresidue 5 is the residue 3. I think the statement would
579:
What's the point in writing "field of even characteristic" instead of "characteristic 2" ? AFAIK, the characteristic of a field is always prime, except if its 0, which is even, but for which the statement of every element being a square is wrong: char(Q)=0 i.e. even, but not every element of Q is a
2525:
Yikes, definitely an error! I think I'll fix it by saying that it is hard to generalize the other cases (multiplication by a nonresidue) and give examples. I *think* that it works differently for even and odd moduli, but I don't know any reference off the top of my head and will exchew original
2938:
for taking modular square roots can do composite modula and does not need factorisation of the modula. It's possible but not easy to take the two different square roots of 5, for instance, so that p*q can be factored. Therefore, does Kunerth's algorithm show that taking the square root of a
216:
It is suspected to be outside of all three of the complexity classes P, NP-Complete, and co-NP-Complete. If it could be proved that it is in either NP-Complete or co-NP-Complete, that would imply NP = co-NP. That would be a very surprising result, and therefore integer factorization is widely
2763:
This shows equivalency. Nageh is being too censurous reviewing the contribution. This contribution would absolutely have gotten into the wikipedia, without any legal problems, not too long ago. This is actually holding back a better understanding of the equivalency claim with the undoing.
1333:. Under prime modulus it says the convention is to exclude zero, and under composite modulus not a prime power it says that some authors include gcd = 1 as part of the definition, and has a footnote to one of the authors, and says that the wiki article does not follow that convention. 2805:
That square root computation reduces to factoring is described in the beginning of section "Complexity of finding square roots". That factoring reduces to finding square roots is described in the indented paragraph of subsection "Composite modulus". Other than that, please provide
952:
Thanks, EJ. It's done. Another question (the documentation here is overwhelming, I know I've seen the answer somewhere but I can't remember where). There are a bunch of references at the bottome to foreign languges, most of which I don't know. How/when do articles get translated?
2014: 1577: 2581:
Hi, I was intrigued when the article (and source) states that no-one has provided a direct proof that there are more residues than non-residues among the numbers 1,2..(p-1)/2. I think I've managed to do this - can anyone suggest where I should get this checked out?
1166:
The definition in the article and in the appropriate article in the german wikipedia don't seem to match: while here we have "q is a QR (mod n) if it is congruent to a square (mod n)", the german article says "q is a QR (mod n) if it is congruent to a square (mod n)
2597:
Yes, it is an intriguing claim, I've seen it in a couple of references: Landau and (?) Lemmermyer at least. I'm not an academic, I'm not sure what is the best way to get your proof looked at by an expert. 2 things come to mind: 1) try submitting it to the
929:
Dear Virginia-American, welcome to Knowledge. Your rewrite is very nice. It is applaudable that you are seeking approval of other editors before making such a sweeping change, but generally you do not have to worry about notifying people, just
205:-problem is in NP, but not that it is NP-hard. As far as I can see, factoring directly solves the decision problem mentioned here, thus factoring would solve an NP-hard problem and be NP-hard itself. It is open, whether factoring is NP-hard. 1229:
QRs (mod n) For example, there are 11 QRs (mod 35) ". Now, 35=5*7, (5-1)(7-1)/4 = 6, not 11. There are 11 QRs (mod 35) according to the definition on this page, but 6 (relatively prime) QRs (mod 35) according to the german wiki definition.
1877:? In any case, I think this fact (about number of quadratic residues being about n/2 for primes n and much less for composite n) is worth mentioning in the article, because IIRC it has applications in primality testing and cryptography. 638:. First of all, the claim is being made for algorithms finding square roots (rather than the QR decision problem), and the reduction is randomized, so it gives a probabilistic poly-time algorithm for factoring, not a deterministic one. 1292:
Gauss defines quadratic residue in the Disquisitiones, art. 95 and explcilty includes 0. In article 96 he says that since 0 is always a residue he will exclude it from the discussion because doing so makes the theorems easier to
2153:
My point is: A quick internet search revealed me that QRP is proved in UP ∩ coUP. If one can show that factorization is not in UP or coUP, doesn't it mean that QRP is easier than factorization, without implying P = NP? Thanks!
2833:
The text states "if the modulus n is prime the Legendre symbol (a|n) can be quickly computed using a variation of Euclid's algorithm." It would be nice if it were described, somewhere in Knowledge, how to do this quick thing.
434: 1126:
For the sake of organization, I think the table of quadratic residues should be at the bottom of everything else and not immediately follow the introduction. The table should be more like an appendix. Just a thought. —
2908:. But that symbol is not defined anywhere in the article. (And I have never seen that symbol used in the context of number theory.) So: I hope someone knowledgeable will modify this formula so that it is both 1146:
I put it there for ease of refrence while looking at the theorems and examples. I think at the bottom the readers would be scrolling excessively. Is there some way to have the table open in a separate window?
2712:
I know a bit of cryptography too, and there is just a claim in the article that there is equivalency. It is not shown, as my contribution in the article showed, that an equivalent square (that contained
342: 2620:
I'd love to see a copy, though I'm not sure what the best way to get me one would be. You can't put original research in the actual wiki, I dunno what the rules are for putting it on your own talk page
1640: 2454: 2140:
Both problems are in the polynomial hierarchy (in fact, in NP ∩ coNP). Thus if P = NP, then they are solvable in polynomial time, and in particular, they are polynomial-time reducible to each other. —
2016:. The fact that the subgroup of squares in a direct sum is exactly the direct sum of the subgroups of squares in the summands is completely trivial, it follows from the definition of a direct sum. — 1902: 1465: 885:
I will also add stuff about how different the theory is depending on whether the moduls is prime or not (eg, one can solve x ≡ a (mod p), but mod a composite it is basically factoring the modulus.
2562: 2199:
Ah, yes, you're right. Anyway, regarding the misunderstanding, I was so used to read statements like "if this can be shown it would imply P = NP" that I just read it again. ;) Thanks and cheers,
1743:.) Obviously, the number of squares in a direct sum is the product of their number in each summand, and exactly half of the elements are squares in a cyclic group of even order. Therefore, if 1456: 774: 151: 2939:
composite modulus is possible without being able to factor the modulus. And that Rabin's assertion that the modular square root problem is equivalent to integer factorisation is not true.
727: 1278:
Hardy & Wright define quadratic residues as a subset of the numbers 1...p-1 (mod p). Ireland & Rosen explicilty include gcd(a, m) = 1 as part of the definition of a residue mod m.
2982: 2304: 271: 1316:
If there is variation in the definition we probably ought to introduce those variants somewhere in the article, attribute each one to a source, and describe why each one is useful.
1847: 871:
Instead of a link to "Distribution of quadratic residues" I will add a new section. Keeping the links to acoustics and crypto, and covering Jacobi-Dirichlet and Polya-vinogradov.
511: 1873:
Thanks for the explanation. There's just one part I'm unsure of: "Obviously, the number of squares in a direct sum is the product of their number in each summand"—is this by the
1797: 2356: 815: 1688: 1227: 2543:
This is a gross error, as it suggests that there'd be an easy way to exclude many potential prime factors for a given number. Apperently, even Lehmer fell for that error:
1174:
I always wondered about an obvious discrepancy in Schneier, "Appl. Crypt.", 2nd ed. p.251, where he says: "If n is the product of two primes, p and q, there are exactly
1729: 2972: 2738: 531: 934:. At any rate, it is sufficient to leave a note here on the article talk page, as anybody who cares about the article is supposed to have it on their watchlist. -- 444:
is given with the input instance, the problem remains NP-complete (although currently I still don't understand it, I will look for Manders and Adleman's paper). --
2987: 2758: 616: 2706:
Nageh undid a contribution I made to this article showing just how an algorithm for a square root of a composite modulus is equivalent to integer factorization.
173:
From the article: "The law of quadratic reciprocity says something about quadratic residues and primes." Surely we can do better? 02:12, 19 October 2005 (UTC)
2886:
An intriguing fact about these two theorems is that all known proofs rely on analysis; no-one has ever published a simple or direct proof of either statement.'
35: 2997: 141: 2662:
there will be a solution for any number that divides kn evenly. Let k' = kn/c, n' = c, which leads to x^2 = k'n' + a = k'c + a, and a is a residue of c.
2091:
states that " is not as hard as factorization, but is thought to be quite hard." QRP cannot be harder than factorization, but I am not aware that it is
2967: 1740: 971:
I glanced over your rewrite as well, and it's well-written and comprehensive. Welcome and I hope your future contributions are as great as this one!
2948: 2709:
I Disagree over equivalency between composite root square root algorithm and integer factorization being shown in the modular square root article.
2110:
I guess the intended meaning was "we do not know any reduction of factoring to QRP, and chances are that none exists". Nobody knows how to actually
368: 2977: 999: 900: 361:
Right, I was wrong. I didn't notice, that the reference to Garey & Johnson refers to this section. In the mean time, I thought, that a simple
2494:"...some authors add to the definition that a quadratic residue q must not only be a square but must also be relatively prime to the modulus n. 2612: 117: 2992: 2890:
But nothing in that section is labeled a "theorem". This would be easier to understand if the two relevant formulas were labeled "theorem".
2583: 2665:
Along this line, it might be helpful to amateurs like myself to give an alternate defintion of "quadratic residue" in terms of algebra:
2114:
that it is strictly easier, as this would imply P ≠ NP (inter alia). I reworded it so that it does not ostensibly make any such claim. —
1378:
Is there something more that is known under less general settings? (Something like: the number of residues is at most n/4, when n is ) --
1107: 2566: 2187:
in UP ∩ coUP. (This is in fact fairly easy to see using the facts that factorization is unique, and primality is polynomial time.) —
108: 69: 2009:{\displaystyle (\mathbb {Z} /n\mathbb {Z} )^{\times }\simeq \bigoplus _{i<k}(\mathbb {Z} /p_{i}^{e_{i}}\mathbb {Z} )^{\times }} 1572:{\displaystyle (\mathbb {Z} /n\mathbb {Z} )^{\times }\simeq \bigoplus _{i<k}(\mathbb {Z} /p_{i}^{e_{i}}\mathbb {Z} )^{\times }} 1083:
Following this convention, the multiplicative inverse of a residue is a residue, and the inverse of a nonresidue is a nonresidue.
2040:(Sorry for the long delay; I forgot about this!) You're right, the fact is indeed trivial. :) Thanks again for the explanation, 1009:
Nope, there's not - otherwise vandals would be able to identify pages to vandalize that wouldn't get noticed (although there is
276: 2962: 2690: 2513: 1590: 1136: 2367: 868:
where presumably residues are used as some kind of source of randome numbers. But the linked article says nothing about that.
911: 2599: 533:
variables. So, if you have two possible roots modulo each prime, you get an exponential amount of possible roots modulo
44: 2862: 2626: 2534: 2476: 1338: 1303: 1152: 1091: 1037: 995: 958: 919: 896: 876: 1086:
This is inconsistent. I'd just revert it, but I don't want to get into an edit war over something fairly peripheral.
2930: 1400: 1252: 732: 1874: 674: 2587: 2647:(2) if a is a nonresidue modulo n, then a is a nonresidue modulo p^k for at least one prime power dividing n. 2544: 2497:
Although it makes things tidier, this article does not insist that residues must be coprime to the modulus."
2931:
Kunerth's modular square root algorithm can do composite modula and does not need factorisation of the modula
1111: 2256: 2069: 2702:
Undo by Nageh over new material for square root of composite modulus is equivalent to integer factorization
2547:- however, the Jacobi symbol is multiplicative. That means, if there's a residue modulo a composite, it is 344:
is NP-complete. Factoring does not help here, the problem remains NP-complete even if the factorization of
2858: 2622: 2530: 2472: 2236: 1334: 1299: 1148: 1087: 1033: 1010: 991: 954: 915: 892: 872: 238: 2686: 2509: 2794: 2551:
necissarily a product of only residues modulo the factors of the composite. It is a product of residues
1802: 209: 50: 480: 94: 2935: 2183:
So the misunderstanding is resolved, but as an aside, (the decision version of) integer factorization
1758: 844: 624: 2678: 2671:
The second statement could probably also be generalized, but I haven't studied it enough to be sure.
2558: 2501: 2310: 2045: 1882: 1383: 1240: 1103: 987: 888: 1248: 21: 2491:
be true provided the residue is coprime to the modulus n, but the section ends by ruling that out:
1132: 779: 2789:. Is there a published source, such as a peer-reviewed academic publication, for this material? 116:
on Knowledge. If you would like to participate, please visit the project page, where you can join
2644:(1) if a is a residue modulo n, then a is a residue modulo p^k for every prime power dividing n. 2065: 1645: 1177: 840: 635: 620: 362: 100: 84: 63: 1244: 538: 445: 222: 2944: 2839: 2771: 2653:
if a is a resudue mod n, then a is a residue of mod c for any number c that divides n evenly.
2232: 2088: 2790: 1701: 1287:
says on p. 53 "0, 1 and all other perfect squares are quadratic residues modulo any number."
437: 436:
doesn't help, because you have only one call to the oracle, and thus need a polynomial time
2850: 2818: 2716: 2204: 2191: 2174: 2159: 2144: 2131: 2118: 2100: 2041: 2020: 1878: 1861: 1379: 1268: 516: 461:
Now I scanned through the proof, I recognize, where my intuition was wrong. I considered
2921: 2682: 2505: 1128: 984:
Thanks for the kind words, Dcoetzee. Is there any way to tell who is watching a page?
2743: 1264:
Both definitions are possible, depending on what is more useful in a given context. —
601: 2956: 2854: 2650:
I am thinking that the 1st statement could be replaced by the more general statement
1317: 1014: 972: 648: 585: 2940: 2835: 2807: 2786: 2767: 2668:
a is a residue of b iff there is a solution for x^2 = kb + a, using only integers.
1857:
may be harder, but I think you could do that by an extension of the same method. —
1052: 939: 931: 826: 466: 914:. Is there anything required, customary or courteous to do before I copy it over? 1698:≤ 2, and it is the direct sum of the two-element group and the cyclic group with 2810: 2782: 2760:) will solve the square root problem, just as it would also factor the modulus. 1100:
How can every integer be a quadratic residue modulo 2? This is sheer nonsense!
194: 113: 2814: 2200: 2188: 2170: 2155: 2141: 2127: 2115: 2096: 2017: 1858: 1265: 429:{\displaystyle \{\langle n,c\rangle \|\ \exists p<c:p{\mbox{ divides }}n\}} 90: 2917: 1899:
The Chinese remainder theorem was used earlier, to derive the decomposition
865: 2925: 2866: 2843: 2822: 2798: 2775: 2694: 2630: 2591: 2570: 2545:
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1085844/pdf/pnas01850-0114.pdf
2538: 2517: 2480: 2240: 2208: 2194: 2178: 2163: 2147: 2135: 2121: 2104: 2073: 2049: 2023: 1886: 1864: 1853:
is divisible by 8. Counting also residues which share a common factor with
1387: 1342: 1320: 1307: 1271: 1256: 1156: 1140: 1115: 1095: 1056: 1041: 1017: 1003: 975: 962: 943: 923: 904: 880: 848: 830: 628: 588: 562: 541: 448: 352: 225: 2063:
http://en.wikipedia.org/Quadratic_residue#The_number_of_quadratic_residues
581: 2061:
Added a section about counting, also has a link with a nice derivation.
1047:
They don't, AFAICS. The anon's change was misguided, though harmless. —
1048: 935: 822: 559: 349: 2469:
I'm reverting the edit; relative primality has nothing to do with it.
1080:
has a multiplicative inverse. This is not true for composite moduli.)
2169:
Aaaahhh, sorry, I misread P = NP instead of P ≠ NP. Time to go home.
2062: 440:. But you are right, as G&J state, even if the factorization of 2740:
as a factor (in the first square which is greater than the modulus
2641:
Composite modulus not a prime powerThe basic fact in this case is
2603: 470: 185:
On the other hand, if we want to know if there is a solution for
201:
is true. I think the author wanted to mention, that the related
2577:
Distribution of quadratic residues when p is congruent to 3mod4
1751:
distinct prime factors, then the number of residues coprime to
651:, then every quadratic residue has at least 4 square roots mod 594:
Question concerning the equivalence of QR and integer factoring
2611:
Other editors here can probably help. Maybe you should ask at
15: 1233:
Which is the proper definition? Is, say, 5*5=25 a QR of 35?
337:{\displaystyle \exists x\leq c\,(x^{2}\equiv q{\pmod {n}})} 1635:{\displaystyle (\mathbb {Z} /p^{e}\mathbb {Z} )^{\times }} 469:. The NP-hardness result is derived from a reduction from 2449:{\displaystyle a^{2}=(-a)^{2}\equiv (n-a)^{2}{\pmod {n}}} 634:
I'm too lazy to dig up a reference, there may be some in
2126:
Really? I wasn't aware of the implication. Why is that?
1070:
I had said that every integer is a QR (mod 2); he said
663:, it will output with probability at least 1/2 a root 414: 2746: 2719: 2370: 2313: 2259: 1905: 1805: 1761: 1704: 1648: 1593: 1468: 1403: 1180: 782: 735: 677: 604: 519: 483: 371: 279: 241: 1073:
Modulo 2, only 1 is considered a quadratic residue.
112:, a collaborative effort to improve the coverage of 2486:
product of residue and nonresidue modulus composite
659:, and apply your alleged root finding algorithm to 2752: 2732: 2448: 2350: 2298: 2008: 1841: 1791: 1723: 1682: 1634: 1571: 1450: 1221: 809: 768: 721: 610: 580:square. (Of course this is not a finite field.) — 525: 505: 428: 336: 265: 2900:, the first formula (which is an expression for A 2637:Suggested changes to article re quadratic residue 1067:I don't like the anonymous editor's last change: 910:I have basically rewritten the article - it's in 783: 2983:Knowledge level-5 vital articles in Mathematics 1393:The multiplicative group of numbers coprime to 1451:{\displaystyle n=\prod _{i<k}p_{i}^{e_{i}}} 1298:When I rewrote the article I followed Gauss. 1032:What do "square" and "perfect square" differ? 217:suspected to be outside both of those classes. 2466:Is there any step here you don't understand? 769:{\displaystyle b\not \equiv \pm a{\pmod {n}}} 8: 2829:Computing the Legendre symbol (a|n), prime n 1354:Thus, the number of quadratic residues (mod 1329:It's already mentioned a bit in the section 722:{\displaystyle b^{2}\equiv a^{2}{\pmod {n}}} 619:anybody give a hint or provide a reference? 423: 390: 387: 375: 372: 260: 242: 221:Please comment, especially if I am wrong. -- 2781:Knowledge works with material that can be 2556: 1331:History, conventions, and elementary facts 58: 2745: 2724: 2718: 2602:, or 2) try sumbitting it to the on-line 2428: 2422: 2397: 2375: 2369: 2340: 2327: 2312: 2278: 2258: 2000: 1992: 1991: 1983: 1978: 1973: 1964: 1960: 1959: 1944: 1931: 1923: 1922: 1914: 1910: 1909: 1904: 1827: 1818: 1804: 1783: 1774: 1760: 1741:multiplicative group of integers modulo n 1709: 1703: 1668: 1647: 1626: 1618: 1617: 1611: 1602: 1598: 1597: 1592: 1563: 1555: 1554: 1546: 1541: 1536: 1527: 1523: 1522: 1507: 1494: 1486: 1485: 1477: 1473: 1472: 1467: 1440: 1435: 1430: 1414: 1402: 1211: 1179: 781: 748: 734: 701: 695: 682: 676: 603: 518: 513:distinct primes for 3-SAT instances with 494: 482: 413: 370: 313: 301: 278: 240: 2659:x^2 = kn + a (a is a residue mod n) 2346: 2973:Knowledge vital articles in Mathematics 2299:{\displaystyle n-a\equiv -a{\pmod {n}}} 537:(at least, that's my new intuition). -- 465:to be a composite of few primes like a 365:to the decisional version of factoring 292: 60: 19: 2613:Knowledge talk:WikiProject Mathematics 2563:2A02:908:2810:83C0:785F:8E56:3407:FCF6 598:The text claims that QR for composite 2988:C-Class vital articles in Mathematics 1122:Move the Table of quadratic residues? 839:This is convincing. Thanks a lot. -- 266:{\displaystyle \langle q,n,c\rangle } 7: 558:Indeed, that's my intuition too. -- 106:This article is within the scope of 2089:Quadratic_residue#Composite_modulus 1842:{\displaystyle \varphi (n)/2^{k+1}} 49:It is of interest to the following 2998:High-priority mathematics articles 506:{\displaystyle \Theta (\ell ^{3})} 484: 395: 280: 14: 2898:Pairs of residues and nonresidues 2553:and an even number of nonresidues 2437: 2287: 1792:{\displaystyle \varphi (n)/2^{k}} 757: 710: 643:The basic idea is as follows: if 322: 126:Knowledge:WikiProject Mathematics 2968:Knowledge level-5 vital articles 2351:{\displaystyle (-a)^{2}=a^{2}\;} 129:Template:WikiProject Mathematics 93: 83: 62: 29: 20: 1162:QR relatively prime to modulus? 575:even characteristic vs char = 2 146:This article has been rated as 2978:C-Class level-5 vital articles 2442: 2431: 2419: 2406: 2394: 2384: 2324: 2314: 2292: 2281: 1997: 1956: 1928: 1906: 1815: 1809: 1771: 1765: 1661: 1649: 1623: 1594: 1560: 1519: 1491: 1469: 1458:is the prime factorization of 1208: 1196: 1193: 1181: 1171:q is relatively prime to n". 912:User:Virginia-American/Sandbox 817:gives a nontrivial divisor of 810:{\displaystyle \gcd(n,a\pm b)} 804: 786: 776:. Then it is easy to see that 762: 751: 715: 704: 500: 487: 331: 327: 316: 294: 235:: IOW, the set of all triples 231:You are wrong. The keyword is 1: 2926:00:47, 17 December 2015 (UTC) 2823:20:25, 16 December 2012 (UTC) 2799:17:10, 16 December 2012 (UTC) 2776:15:29, 16 December 2012 (UTC) 2695:01:45, 16 February 2012 (UTC) 2631:16:55, 14 February 2012 (UTC) 2600:American Mathematical Monthly 2592:14:58, 14 February 2012 (UTC) 2429: 2279: 2074:02:38, 19 November 2012 (UTC) 2024:10:56, 27 February 2009 (UTC) 1887:23:20, 26 February 2009 (UTC) 1865:11:09, 26 February 2009 (UTC) 1388:03:46, 26 February 2009 (UTC) 976:18:18, 29 February 2008 (UTC) 963:18:07, 29 February 2008 (UTC) 944:14:08, 29 February 2008 (UTC) 924:19:57, 27 February 2008 (UTC) 905:17:50, 26 February 2008 (UTC) 881:02:52, 26 February 2008 (UTC) 749: 702: 314: 181:I doubt, that this paragraph 120:and see a list of open tasks. 2993:C-Class mathematics articles 2949:19:41, 13 January 2023 (UTC) 2785:by reference to independent 2571:16:57, 21 October 2016 (UTC) 2209:18:07, 26 January 2010 (UTC) 2195:18:00, 26 January 2010 (UTC) 2179:17:50, 26 January 2010 (UTC) 2164:17:49, 26 January 2010 (UTC) 2148:17:40, 26 January 2010 (UTC) 2136:17:03, 26 January 2010 (UTC) 2122:16:51, 26 January 2010 (UTC) 2105:16:36, 26 January 2010 (UTC) 1683:{\displaystyle (p-1)p^{e-1}} 1343:21:31, 4 February 2009 (UTC) 1321:20:50, 3 February 2009 (UTC) 1308:19:59, 3 February 2009 (UTC) 1272:10:48, 3 February 2009 (UTC) 1257:10:17, 3 February 2009 (UTC) 1222:{\displaystyle (p-1)(q-1)/4} 1157:12:51, 6 November 2008 (UTC) 1141:18:57, 5 November 2008 (UTC) 1116:10:37, 6 December 2013 (UTC) 864:The text provides a link to 849:14:52, 5 December 2007 (UTC) 831:11:44, 5 December 2007 (UTC) 655:. Thus if you pick a random 629:10:10, 5 December 2007 (UTC) 2656:If there is a solution for 2539:17:38, 28 August 2011 (UTC) 2518:12:45, 26 August 2011 (UTC) 2083:as integer factorization??? 1642:is a cyclic group of order 189:less than some given limit 3014: 1057:12:08, 10 April 2008 (UTC) 233:less than some given limit 2881:, this sentence appears: 2867:11:27, 8 March 2013 (UTC) 2844:01:30, 8 March 2013 (UTC) 2050:16:26, 4 March 2009 (UTC) 1875:Chinese remainder theorem 1042:19:07, 9 April 2008 (UTC) 1018:04:22, 1 March 2008 (UTC) 1004:01:18, 1 March 2008 (UTC) 667:which is different from ± 563:17:26, 16 June 2006 (UTC) 542:09:10, 16 June 2006 (UTC) 449:06:27, 16 June 2006 (UTC) 353:18:49, 14 June 2006 (UTC) 226:11:02, 13 June 2006 (UTC) 145: 78: 57: 2481:12:01, 15 May 2010 (UTC) 2241:19:24, 14 May 2010 (UTC) 1579:. Moreover, for a prime 1096:21:03, 7 June 2008 (UTC) 647:is odd, and it is not a 589:20:32, 21 May 2007 (UTC) 473:which actually requires 152:project's priority scale 2896:: In the next section, 2225:a^2 ≡ (n − a)^2 (mod n) 1849:, depending on whether 1724:{\displaystyle 2^{e-2}} 1285:Elemenary Number Theory 109:WikiProject Mathematics 2963:C-Class vital articles 2754: 2734: 2450: 2352: 2300: 2010: 1843: 1793: 1725: 1684: 1636: 1573: 1452: 1376: 1223: 1011:Special:UnwatchedPages 811: 770: 723: 612: 527: 507: 430: 338: 267: 2755: 2735: 2733:{\displaystyle r^{2}} 2451: 2353: 2301: 2011: 1844: 1794: 1726: 1685: 1637: 1574: 1453: 1397:looks as follows. If 1352: 1224: 812: 771: 724: 613: 528: 526:{\displaystyle \ell } 508: 431: 339: 268: 210:Integer_factorization 36:level-5 vital article 2879:Dirichlet's formulas 2849:See the articles on 2744: 2717: 2368: 2311: 2257: 1903: 1803: 1759: 1702: 1646: 1591: 1466: 1401: 1178: 780: 733: 675: 602: 517: 481: 369: 277: 239: 132:mathematics articles 2936:Kunerth's_algorithm 1990: 1553: 1447: 477:to be a product of 2904:) uses the symbol 2750: 2730: 2674:Regards, Charlie 2446: 2438: 2430: 2348: 2347: 2296: 2288: 2280: 2006: 1969: 1955: 1839: 1789: 1721: 1680: 1632: 1569: 1532: 1518: 1448: 1426: 1425: 1349:Number of residues 1236:Thanks, -manfred 1219: 807: 766: 758: 750: 719: 711: 703: 636:Rabin cryptosystem 608: 523: 503: 426: 418: 363:many-one reduction 334: 323: 315: 293: 263: 193:, this problem is 101:Mathematics portal 45:content assessment 2873:Some improvements 2859:Virginia-American 2753:{\displaystyle m} 2698: 2681:comment added by 2623:Virginia-American 2573: 2561:comment added by 2531:Virginia-American 2521: 2504:comment added by 2473:Virginia-American 1940: 1503: 1410: 1335:Virginia-American 1300:Virginia-American 1260: 1243:comment added by 1149:Virginia-American 1106:comment added by 1088:Virginia-American 1076:I went on to say 1034:Virginia-American 1006: 992:Virginia-American 990:comment added by 955:Virginia-American 916:Virginia-American 907: 893:Virginia-American 891:comment added by 873:Virginia-American 611:{\displaystyle n} 417: 394: 166: 165: 162: 161: 158: 157: 3005: 2787:reliable sources 2759: 2757: 2756: 2751: 2739: 2737: 2736: 2731: 2729: 2728: 2697: 2675: 2520: 2498: 2455: 2453: 2452: 2447: 2445: 2427: 2426: 2402: 2401: 2380: 2379: 2357: 2355: 2354: 2349: 2345: 2344: 2332: 2331: 2305: 2303: 2302: 2297: 2295: 2015: 2013: 2012: 2007: 2005: 2004: 1995: 1989: 1988: 1987: 1977: 1968: 1963: 1954: 1936: 1935: 1926: 1918: 1913: 1848: 1846: 1845: 1840: 1838: 1837: 1822: 1798: 1796: 1795: 1790: 1788: 1787: 1778: 1730: 1728: 1727: 1722: 1720: 1719: 1689: 1687: 1686: 1681: 1679: 1678: 1641: 1639: 1638: 1633: 1631: 1630: 1621: 1616: 1615: 1606: 1601: 1578: 1576: 1575: 1570: 1568: 1567: 1558: 1552: 1551: 1550: 1540: 1531: 1526: 1517: 1499: 1498: 1489: 1481: 1476: 1457: 1455: 1454: 1449: 1446: 1445: 1444: 1434: 1424: 1358:) cannot exceed 1259: 1237: 1228: 1226: 1225: 1220: 1215: 1118: 985: 886: 816: 814: 813: 808: 775: 773: 772: 767: 765: 728: 726: 725: 720: 718: 700: 699: 687: 686: 617: 615: 614: 609: 532: 530: 529: 524: 512: 510: 509: 504: 499: 498: 438:Turing reduction 435: 433: 432: 427: 419: 415: 393: 343: 341: 340: 335: 330: 306: 305: 272: 270: 269: 264: 134: 133: 130: 127: 124: 103: 98: 97: 87: 80: 79: 74: 66: 59: 42: 33: 32: 25: 24: 16: 3013: 3012: 3008: 3007: 3006: 3004: 3003: 3002: 2953: 2952: 2933: 2907: 2903: 2877:In the section 2875: 2851:Legendre symbol 2831: 2742: 2741: 2720: 2715: 2714: 2704: 2676: 2639: 2579: 2499: 2488: 2418: 2393: 2371: 2366: 2365: 2336: 2323: 2309: 2308: 2255: 2254: 2227: 2085: 1996: 1979: 1927: 1901: 1900: 1823: 1801: 1800: 1779: 1757: 1756: 1705: 1700: 1699: 1664: 1644: 1643: 1622: 1607: 1589: 1588: 1559: 1542: 1490: 1464: 1463: 1436: 1399: 1398: 1351: 1238: 1176: 1175: 1164: 1124: 1101: 1084: 1081: 1074: 1065: 1030: 862: 778: 777: 731: 730: 691: 678: 673: 672: 600: 599: 596: 577: 515: 514: 490: 479: 478: 367: 366: 297: 275: 274: 237: 236: 179: 171: 131: 128: 125: 122: 121: 99: 92: 72: 43:on Knowledge's 40: 30: 12: 11: 5: 3011: 3009: 3001: 3000: 2995: 2990: 2985: 2980: 2975: 2970: 2965: 2955: 2954: 2932: 2929: 2914:understandable 2905: 2901: 2874: 2871: 2870: 2869: 2830: 2827: 2826: 2825: 2802: 2801: 2749: 2727: 2723: 2703: 2700: 2638: 2635: 2634: 2633: 2617: 2616: 2608: 2607: 2584:193.163.248.12 2578: 2575: 2528: 2527: 2487: 2484: 2465: 2459: 2457: 2456: 2444: 2441: 2436: 2433: 2425: 2421: 2417: 2414: 2411: 2408: 2405: 2400: 2396: 2392: 2389: 2386: 2383: 2378: 2374: 2359: 2358: 2343: 2339: 2335: 2330: 2326: 2322: 2319: 2316: 2306: 2294: 2291: 2286: 2283: 2277: 2274: 2271: 2268: 2265: 2262: 2249: 2245: 2226: 2223: 2222: 2221: 2220: 2219: 2218: 2217: 2216: 2215: 2214: 2213: 2212: 2211: 2167: 2084: 2077: 2059: 2058: 2057: 2056: 2055: 2054: 2053: 2052: 2031: 2030: 2029: 2028: 2027: 2026: 2003: 1999: 1994: 1986: 1982: 1976: 1972: 1967: 1962: 1958: 1953: 1950: 1947: 1943: 1939: 1934: 1930: 1925: 1921: 1917: 1912: 1908: 1892: 1891: 1890: 1889: 1868: 1867: 1836: 1833: 1830: 1826: 1821: 1817: 1814: 1811: 1808: 1786: 1782: 1777: 1773: 1770: 1767: 1764: 1718: 1715: 1712: 1708: 1677: 1674: 1671: 1667: 1663: 1660: 1657: 1654: 1651: 1629: 1625: 1620: 1614: 1610: 1605: 1600: 1596: 1566: 1562: 1557: 1549: 1545: 1539: 1535: 1530: 1525: 1521: 1516: 1513: 1510: 1506: 1502: 1497: 1493: 1488: 1484: 1480: 1475: 1471: 1443: 1439: 1433: 1429: 1423: 1420: 1417: 1413: 1409: 1406: 1350: 1347: 1346: 1345: 1326: 1325: 1324: 1323: 1311: 1310: 1295: 1294: 1289: 1288: 1280: 1279: 1275: 1274: 1218: 1214: 1210: 1207: 1204: 1201: 1198: 1195: 1192: 1189: 1186: 1183: 1163: 1160: 1145: 1123: 1120: 1082: 1078: 1072: 1064: 1061: 1060: 1059: 1029: 1026: 1025: 1024: 1023: 1022: 1021: 1020: 979: 978: 968: 967: 966: 965: 947: 946: 861: 860:A new section? 858: 856: 854: 853: 852: 851: 834: 833: 806: 803: 800: 797: 794: 791: 788: 785: 764: 761: 756: 753: 747: 744: 741: 738: 717: 714: 709: 706: 698: 694: 690: 685: 681: 640: 639: 607: 595: 592: 576: 573: 572: 571: 570: 569: 568: 567: 566: 565: 549: 548: 547: 546: 545: 544: 522: 502: 497: 493: 489: 486: 454: 453: 452: 451: 425: 422: 412: 409: 406: 403: 400: 397: 392: 389: 386: 383: 380: 377: 374: 356: 355: 333: 329: 326: 321: 318: 312: 309: 304: 300: 296: 291: 288: 285: 282: 262: 259: 256: 253: 250: 247: 244: 219: 218: 199: 198: 178: 177:NP-Hardness ?? 175: 170: 167: 164: 163: 160: 159: 156: 155: 144: 138: 137: 135: 118:the discussion 105: 104: 88: 76: 75: 67: 55: 54: 48: 26: 13: 10: 9: 6: 4: 3: 2: 3010: 2999: 2996: 2994: 2991: 2989: 2986: 2984: 2981: 2979: 2976: 2974: 2971: 2969: 2966: 2964: 2961: 2960: 2958: 2951: 2950: 2946: 2942: 2937: 2928: 2927: 2923: 2919: 2915: 2911: 2899: 2895: 2891: 2888: 2887: 2882: 2880: 2872: 2868: 2864: 2860: 2856: 2855:Jacobi symbol 2852: 2848: 2847: 2846: 2845: 2841: 2837: 2828: 2824: 2820: 2816: 2812: 2809: 2804: 2803: 2800: 2796: 2792: 2788: 2784: 2780: 2779: 2778: 2777: 2773: 2769: 2765: 2761: 2747: 2725: 2721: 2710: 2707: 2701: 2699: 2696: 2692: 2688: 2684: 2680: 2672: 2669: 2666: 2663: 2660: 2657: 2654: 2651: 2648: 2645: 2642: 2636: 2632: 2628: 2624: 2619: 2618: 2614: 2610: 2609: 2605: 2601: 2596: 2595: 2594: 2593: 2589: 2585: 2576: 2574: 2572: 2568: 2564: 2560: 2554: 2550: 2546: 2541: 2540: 2536: 2532: 2524: 2523: 2522: 2519: 2515: 2511: 2507: 2503: 2495: 2492: 2485: 2483: 2482: 2478: 2474: 2470: 2467: 2463: 2460: 2439: 2434: 2423: 2415: 2412: 2409: 2403: 2398: 2390: 2387: 2381: 2376: 2372: 2364: 2363: 2362: 2341: 2337: 2333: 2328: 2320: 2317: 2307: 2289: 2284: 2275: 2272: 2269: 2266: 2263: 2260: 2253: 2252: 2251: 2247: 2243: 2242: 2238: 2234: 2230: 2224: 2210: 2206: 2202: 2198: 2197: 2196: 2193: 2190: 2186: 2182: 2181: 2180: 2176: 2172: 2168: 2166: 2165: 2161: 2157: 2151: 2150: 2149: 2146: 2143: 2139: 2138: 2137: 2133: 2129: 2125: 2124: 2123: 2120: 2117: 2113: 2109: 2108: 2107: 2106: 2102: 2098: 2094: 2090: 2082: 2078: 2076: 2075: 2071: 2067: 2066:Stephanwehner 2064: 2051: 2047: 2043: 2039: 2038: 2037: 2036: 2035: 2034: 2033: 2032: 2025: 2022: 2019: 2001: 1984: 1980: 1974: 1970: 1965: 1951: 1948: 1945: 1941: 1937: 1932: 1919: 1915: 1898: 1897: 1896: 1895: 1894: 1893: 1888: 1884: 1880: 1876: 1872: 1871: 1870: 1869: 1866: 1863: 1860: 1856: 1852: 1834: 1831: 1828: 1824: 1819: 1812: 1806: 1784: 1780: 1775: 1768: 1762: 1754: 1750: 1746: 1742: 1738: 1734: 1716: 1713: 1710: 1706: 1697: 1693: 1675: 1672: 1669: 1665: 1658: 1655: 1652: 1627: 1612: 1608: 1603: 1586: 1582: 1564: 1547: 1543: 1537: 1533: 1528: 1514: 1511: 1508: 1504: 1500: 1495: 1482: 1478: 1461: 1441: 1437: 1431: 1427: 1421: 1418: 1415: 1411: 1407: 1404: 1396: 1392: 1391: 1390: 1389: 1385: 1381: 1375: 1373: 1369: 1365: 1361: 1357: 1348: 1344: 1340: 1336: 1332: 1328: 1327: 1322: 1319: 1315: 1314: 1313: 1312: 1309: 1305: 1301: 1297: 1296: 1291: 1290: 1286: 1282: 1281: 1277: 1276: 1273: 1270: 1267: 1263: 1262: 1261: 1258: 1254: 1250: 1246: 1242: 1234: 1231: 1216: 1212: 1205: 1202: 1199: 1190: 1187: 1184: 1172: 1170: 1161: 1159: 1158: 1154: 1150: 1143: 1142: 1138: 1134: 1130: 1121: 1119: 1117: 1113: 1109: 1108:77.42.197.214 1105: 1098: 1097: 1093: 1089: 1077: 1071: 1068: 1062: 1058: 1054: 1050: 1046: 1045: 1044: 1043: 1039: 1035: 1027: 1019: 1016: 1012: 1008: 1007: 1005: 1001: 997: 993: 989: 983: 982: 981: 980: 977: 974: 970: 969: 964: 960: 956: 951: 950: 949: 948: 945: 941: 937: 933: 928: 927: 926: 925: 921: 917: 913: 908: 906: 902: 898: 894: 890: 883: 882: 878: 874: 869: 867: 859: 857: 850: 846: 842: 838: 837: 836: 835: 832: 828: 824: 820: 801: 798: 795: 792: 789: 759: 754: 745: 742: 739: 736: 712: 707: 696: 692: 688: 683: 679: 670: 666: 662: 658: 654: 650: 649:perfect power 646: 642: 641: 637: 633: 632: 631: 630: 626: 622: 605: 593: 591: 590: 587: 583: 574: 564: 561: 557: 556: 555: 554: 553: 552: 551: 550: 543: 540: 536: 520: 495: 491: 476: 472: 468: 464: 460: 459: 458: 457: 456: 455: 450: 447: 443: 439: 420: 410: 407: 404: 401: 398: 384: 381: 378: 364: 360: 359: 358: 357: 354: 351: 348:is known. -- 347: 324: 319: 310: 307: 302: 298: 289: 286: 283: 257: 254: 251: 248: 245: 234: 230: 229: 228: 227: 224: 215: 214: 213: 211: 206: 204: 196: 192: 188: 184: 183: 182: 176: 174: 168: 153: 149: 148:High-priority 143: 140: 139: 136: 119: 115: 111: 110: 102: 96: 91: 89: 86: 82: 81: 77: 73:High‑priority 71: 68: 65: 61: 56: 52: 46: 38: 37: 27: 23: 18: 17: 2934: 2913: 2909: 2897: 2893: 2892: 2889: 2885: 2883: 2878: 2876: 2832: 2766: 2762: 2711: 2708: 2705: 2677:— Preceding 2673: 2670: 2667: 2664: 2661: 2658: 2655: 2652: 2649: 2646: 2643: 2640: 2580: 2557:— Preceding 2552: 2548: 2542: 2529: 2500:— Preceding 2496: 2493: 2489: 2471: 2468: 2464: 2461: 2458: 2360: 2248: 2244: 2233:Raptortech97 2231: 2228: 2184: 2152: 2111: 2095:. Comments? 2092: 2086: 2080: 2060: 1854: 1850: 1752: 1748: 1744: 1736: 1732: 1731:elements if 1695: 1691: 1584: 1580: 1459: 1394: 1377: 1371: 1367: 1363: 1359: 1355: 1353: 1330: 1284: 1235: 1232: 1173: 1168: 1165: 1144: 1125: 1102:— Preceding 1099: 1085: 1075: 1069: 1066: 1031: 909: 884: 870: 863: 855: 818: 668: 664: 660: 656: 652: 644: 597: 578: 534: 474: 467:Blum integer 462: 441: 345: 232: 220: 207: 202: 200: 190: 186: 180: 172: 147: 107: 51:WikiProjects 34: 2791:Deltahedron 2361:Therefore, 2081:not as hard 1239:—Preceding 1063:Consistency 986:—Preceding 887:—Preceding 671:. That is, 195:NP-complete 123:Mathematics 114:mathematics 70:Mathematics 2957:Categories 2042:Shreevatsa 1879:Shreevatsa 1739:≥ 3. (See 1694:is odd or 1380:Shreevatsa 1366:even) or ( 273:such that 2683:Wkcharlie 2526:research. 2506:Wkcharlie 1283:Landau's 1129:cosmotron 1028:Perfect ? 866:acoustics 169:Vagueness 39:is rated 2808:reliable 2783:verified 2691:contribs 2679:unsigned 2559:unsigned 2514:contribs 2502:unsigned 2087:Section 1735:= 2 and 1370:+ 1)/2 ( 1362:/2 + 1 ( 1318:Dcoetzee 1253:contribs 1241:unsigned 1137:contribs 1104:unsigned 1015:Dcoetzee 1000:contribs 988:unsigned 973:Dcoetzee 901:contribs 889:unsigned 416:divides 203:decision 2941:Endo999 2836:Gaohoyt 2811:sources 2768:Endo999 2250:Proof: 1462:, then 932:be bold 150:on the 41:C-class 2093:easier 1293:state. 841:Desi73 729:, but 621:Desi73 47:scale. 2815:Nageh 2604:ArXiv 2246:Huh? 2201:Nageh 2171:Nageh 2156:Nageh 2128:Nageh 2112:prove 2097:Nageh 1587:≥ 1, 1374:odd). 821:. -- 471:3-SAT 208:From 197:; ... 28:This 2945:talk 2922:talk 2918:Daqu 2912:and 2910:true 2894:ALSO 2863:talk 2857:. - 2853:and 2840:talk 2819:talk 2795:talk 2772:talk 2687:talk 2627:talk 2588:talk 2567:talk 2535:talk 2510:talk 2477:talk 2462:QED 2237:talk 2205:talk 2189:Emil 2175:talk 2160:talk 2142:Emil 2132:talk 2116:Emil 2101:talk 2079:QRP 2070:talk 2046:talk 2018:Emil 1949:< 1883:talk 1859:Emil 1747:has 1583:and 1512:< 1419:< 1384:talk 1339:talk 1304:talk 1266:Emil 1249:talk 1245:Mz65 1153:talk 1133:talk 1112:talk 1092:talk 1053:talk 1038:talk 996:talk 959:talk 940:talk 920:talk 897:talk 877:talk 845:talk 827:talk 625:talk 586:Talk 539:GrGr 446:GrGr 402:< 223:GrGr 142:High 2555:. 2549:not 2435:mod 2285:mod 1799:or 1755:is 1690:if 1169:and 784:gcd 755:mod 708:mod 582:MFH 320:mod 2959:: 2947:) 2924:) 2902:ij 2865:) 2842:) 2821:) 2813:. 2797:) 2774:) 2693:) 2689:• 2629:) 2590:) 2569:) 2537:) 2516:) 2512:• 2479:) 2413:− 2404:≡ 2388:− 2318:− 2273:− 2270:≡ 2264:− 2239:) 2207:) 2192:J. 2185:is 2177:) 2162:) 2145:J. 2134:) 2119:J. 2103:) 2072:) 2048:) 2021:J. 2002:× 1942:⨁ 1938:≃ 1933:× 1885:) 1862:J. 1807:φ 1763:φ 1714:− 1673:− 1656:− 1628:× 1565:× 1505:⨁ 1501:≃ 1496:× 1412:∏ 1386:) 1341:) 1306:) 1269:J. 1255:) 1251:• 1203:− 1188:− 1155:) 1139:) 1135:| 1131:( 1114:) 1094:) 1055:) 1049:EJ 1040:) 1002:) 998:• 961:) 942:) 936:EJ 922:) 903:) 899:• 879:) 847:) 829:) 823:EJ 799:± 743:± 689:≡ 627:) 560:EJ 521:ℓ 492:ℓ 485:Θ 396:∃ 391:‖ 388:⟩ 376:⟨ 350:EJ 308:≡ 287:≤ 281:∃ 261:⟩ 243:⟨ 212:: 2943:( 2920:( 2916:. 2906:∧ 2884:" 2861:( 2838:( 2817:( 2793:( 2770:( 2748:m 2726:2 2722:r 2685:( 2625:( 2615:. 2606:. 2586:( 2565:( 2533:( 2508:( 2475:( 2443:) 2440:n 2432:( 2424:2 2420:) 2416:a 2410:n 2407:( 2399:2 2395:) 2391:a 2385:( 2382:= 2377:2 2373:a 2342:2 2338:a 2334:= 2329:2 2325:) 2321:a 2315:( 2293:) 2290:n 2282:( 2276:a 2267:a 2261:n 2235:( 2203:( 2173:( 2158:( 2130:( 2099:( 2068:( 2044:( 1998:) 1993:Z 1985:i 1981:e 1975:i 1971:p 1966:/ 1961:Z 1957:( 1952:k 1946:i 1929:) 1924:Z 1920:n 1916:/ 1911:Z 1907:( 1881:( 1855:n 1851:n 1835:1 1832:+ 1829:k 1825:2 1820:/ 1816:) 1813:n 1810:( 1785:k 1781:2 1776:/ 1772:) 1769:n 1766:( 1753:n 1749:k 1745:n 1737:e 1733:p 1717:2 1711:e 1707:2 1696:e 1692:p 1676:1 1670:e 1666:p 1662:) 1659:1 1653:p 1650:( 1624:) 1619:Z 1613:e 1609:p 1604:/ 1599:Z 1595:( 1585:e 1581:p 1561:) 1556:Z 1548:i 1544:e 1538:i 1534:p 1529:/ 1524:Z 1520:( 1515:k 1509:i 1492:) 1487:Z 1483:n 1479:/ 1474:Z 1470:( 1460:n 1442:i 1438:e 1432:i 1428:p 1422:k 1416:i 1408:= 1405:n 1395:n 1382:( 1372:n 1368:n 1364:n 1360:n 1356:n 1337:( 1302:( 1247:( 1217:4 1213:/ 1209:) 1206:1 1200:q 1197:( 1194:) 1191:1 1185:p 1182:( 1151:( 1110:( 1090:( 1051:( 1036:( 994:( 957:( 938:( 918:( 895:( 875:( 843:( 825:( 819:n 805:) 802:b 796:a 793:, 790:n 787:( 763:) 760:n 752:( 746:a 740:≢ 737:b 716:) 713:n 705:( 697:2 693:a 684:2 680:b 669:a 665:b 661:a 657:a 653:n 645:n 623:( 606:n 584:: 535:n 501:) 496:3 488:( 475:n 463:n 442:n 424:} 421:n 411:p 408:: 405:c 399:p 385:c 382:, 379:n 373:{ 346:n 332:) 328:) 325:n 317:( 311:q 303:2 299:x 295:( 290:c 284:x 258:c 255:, 252:n 249:, 246:q 191:c 187:x 154:. 53::

Index


level-5 vital article
content assessment
WikiProjects
WikiProject icon
Mathematics
WikiProject icon
icon
Mathematics portal
WikiProject Mathematics
mathematics
the discussion
High
project's priority scale
NP-complete
Integer_factorization
GrGr
11:02, 13 June 2006 (UTC)
EJ
18:49, 14 June 2006 (UTC)
many-one reduction
Turing reduction
GrGr
06:27, 16 June 2006 (UTC)
Blum integer
3-SAT
GrGr
09:10, 16 June 2006 (UTC)
EJ
17:26, 16 June 2006 (UTC)

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.