词条 | Sign sequence |
释义 |
In mathematics, a sign sequence, or ±1–sequence or bipolar sequence, is a sequence of numbers, each of which is either 1 or −1. One example is the sequence (1, −1, 1, −1 ...). Such sequences are commonly studied in discrepancy theory. Erdős discrepancy problemErdős discrepancy problem}->Around 1932, mathematician Paul Erdős conjectured that for any infinite ±1-sequence and any integer C, there exist integers k and d such that The Erdős Discrepancy Problem asks for a proof or disproof of this conjecture. In February 2014, Alexei Lisitsa and Boris Konev of the University of Liverpool showed that every sequence of 1161 or more elements satisfies the conjecture in the special case C = 2, which proves the conjecture for C ≤ 2.[1] This was the best such bound available at the time. Their proof relied on a SAT-solver computer algorithm whose output takes up 13 gigabytes of data, more than the entire text of Wikipedia at that time, so it cannot be independently verified by human mathematicians without further use of a computer.[2] In September 2015, Terence Tao announced a proof of the conjecture, building on work done in 2010 during Polymath5 (a form of crowdsourcing applied to mathematics) and a suggestion made by German mathematician Uwe Stroinski on Tao's blog.[3][4] His proof was published in 2016, as the first paper in the new journal Discrete Analysis.[5] Barker codes{{main|Barker code}}A Barker code is a sequence of N values of +1 and −1, such that for all .[6] Barker codes of lengths 11 and 13 are used in direct-sequence spread spectrum and pulse compression radar systems because of their low autocorrelation properties. See also
Notes1. ^{{cite journal | title = A SAT Attack on the Erdos Discrepancy Conjecture | arxiv = 1402.2184 | first1 = Boris | last1 = Konev | first2 = Alexei | last2 = Lisitsa | date = 17 Feb 2014 | bibcode = 2014arXiv1402.2184K }} 2. ^{{cite web|url=https://www.newscientist.com/article/dn25068-wikipediasize-maths-proof-too-big-for-humans-to-check.html|title=Wikipedia-size maths proof too big for humans to check|first = Jacob | last = Aron|publisher=New Scientist|date=February 17, 2014|accessdate=February 18, 2014}} 3. ^[https://www.usatoday.com/story/news/2015/09/28/newser-famous-math-problem-solved-crowdsourcing/72973338/ Famous math problem solved thanks to crowdsourcing]. USA Today Sept. 28, 2015 4. ^Jacob Aron, [https://www.newscientist.com/article/mg22830415-200-crowds-beat-computers-in-answer-to-wikipedia-sized-maths-problem/ Crowds beat computers in answer to Wikipedia-sized maths problem], New Scientist, 30 Sep 15, retrieved 21.10.2015 5. ^{{cite journal|title=The Erdős discrepancy problem|first=Terence|last=Tao|authorlink=Terence Tao|year=2016|arxiv=1509.05363|doi=10.19086/da.609|journal=Discrete Analysis|pages=1–29|mr=3533300|issn=2397-3129}} 6. ^{{cite book |author=Barker, R. H. |chapter=Group Synchronizing of Binary Digital Sequences |title=Communication Theory |place=London |publisher=Butterworth |pages=273–287 |year=1953}} References
External links
2 : Binary sequences|Computer-assisted proofs |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。