Tool and algorithm to disprove the Polya conjecture. The Polya conjecture proposes that the majority of values of the prime factor count among numbers less than a specific integer are odd.
Pólya Conjecture - dCode
Tag(s) : Arithmetics, Algorithm
dCode is free and its tools are a valuable help in games, maths, geocaching, puzzles and problems to solve every day!
A suggestion ? a feedback ? a bug ? an idea ? Write to dCode!
Pólya Conjecture
Statement of the Conjecture
In number theory, the Polya conjecture, proposed by the Hungarian mathematician George Polya in 1919, states: For any integer $ N > 1 $, the set of prime factorization of positive natural numbers less than $ N $ consists of more factorizations with an odd number of factors than of factorizations with an even number of factors.
This conjecture is false, the first counterexample is $ N = 906150257 $. Since the smallest counterexample is quite large, it is often used to show that a conjecture can be verified several million times while still being false.
Answers to Questions (FAQ)
How to prove the Polya conjecture?
To prove that a conjecture is true, a rigorous mathematical proof is needed. To prove that the conjecture is false, it is enough to give one counter-example.
Example: For $ N = 10 $, there are 5 decompositions with an odd number of factors: $ 8, 7, 5, 3, 2 $, and 4 decompositions with an even number of factors: $ 9, 6, 4, 1 $. Since $ 5 > 4 $, the conjecture is true for $ N = 10 $, but this does not mean that it is true for all $ N $.
The number 1 has no prime factors, so 0 factor, its decomposition is considered even.
What is the first counterexample?
The Polya conjecture was refuted in 1958, so it is false.
The smallest counterexample is the number $ 906150257 $.
What is the Polya check algorithm?
The algorithm corresponding to the verification of the conjecture is similar to the following:// Javascript
var even = 1; // number 1
var odd = 0;
var factors = [];
for (i = 2; i < 1000000000; i++) {
factors = prime_factors(i); // return [factor1, factor2, ...]
if (factors.length % 2) odd++;
else even++;
if (even > odd) {
alert(i);
break;
}
}
Source code
dCode retains ownership of the "Pólya Conjecture" source code. Any algorithm for the "Pólya Conjecture" algorithm, applet or snippet or script (converter, solver, encryption / decryption, encoding / decoding, ciphering / deciphering, breaker, translator), or any "Pólya Conjecture" functions (calculate, convert, solve, decrypt / encrypt, decipher / cipher, decode / encode, translate) written in any informatic language (Python, Java, PHP, C#, Javascript, Matlab, etc.) or any database download or API access for "Pólya Conjecture" or any other element are not public (except explicit open source licence). Same with the download for offline use on PC, mobile, tablet, iPhone or Android app.
Reminder: dCode is an educational and teaching resource, accessible online for free and for everyone.
Cite dCode
The content of the page "Pólya Conjecture" and its results may be freely copied and reused, including for commercial purposes, provided that dCode.fr is cited as the source (Creative Commons CC-BY free distribution license).
Exporting the results is free and can be done simply by clicking on the export icons ⤓ (.csv or .txt format) or ⧉ (copy and paste).
To cite dCode.fr on another website, use the link:
In a scientific article or book, the recommended bibliographic citation is: Pólya Conjecture on dCode.fr [online website], retrieved on 2025-06-13,
