Barisan tanda: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Dedhert.Jr (bicara | kontrib) pbtj |
k →Pranala luar: pembersihan kosmetika dasar |
||
| (3 revisi perantara oleh 2 pengguna tidak ditampilkan) | |||
Baris 1:
Dalam [[matematika]], sebuah '''barisan tanda''', atau '''barisan–1±''' atau '''barisan bipolar''', adalah sebuah [[barisan]] bilangan yang terdiri dari <math>1</math> atau <math>-1</math>. Contohnya seperti barisan <math>(1,-1,1
▲Dalam [[matematika]], sebuah '''barisan tanda''', atau '''barisan–1±''' atau '''barisan bipolar''', adalah sebuah [[barisan]] bilangan yang terdiri dari <math>1</math> atau <math>-1</math>. Contohnya seperti barisan <math>(1,-1,1-,1,\dots)</math>. Biasanya, barisan tersebut dipelajari dalam [[teori ketakcocokan]].
== Masalah ketakcocokan Erdős ==
Baris 11 ⟶ 10:
Pada bulan Februari 2014, Alexei Lisitsa dan Boris Konev dari [[Universitas Liverpool]] memperlihatkan bahwa setiap barisan dari 1161 anggota atau lebih memenuhi konjektur dalam kasus khusus <math>C = 2</math>, yang membuktikan konjektur untuk <math>C \le 2</math>,<ref>{{cite journal|last1=Konev|first1=Boris|last2=Lisitsa|first2=Alexei|date=17 Feb 2014|title=A SAT Attack on the Erdos Discrepancy Conjecture|arxiv=1402.2184|bibcode=2014arXiv1402.2184K}}</ref> sebuah batas terbaik yang ditemukan pada saat itu. Bukti tersebut mengandalkan sebuah algoritme komputer ''[[SAT-solver]],'' dengan ''output'' yang dibutuhkan adalah 13 [[Gigabita|gigabit]] data, lebih dari jumlah bit dari seluruh teks Wikipedia saat itu. Karena itu, banyak matematikawan tidak memvalidkan bukti tersebut tanpa ada pemakaian komputer lebih lanjut.<ref>{{cite magazine|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|magazine=[[New Scientist]]|date=February 17, 2014|accessdate=February 18, 2014}}</ref>
Pada bulan September 2015, [[Terence Tao]] mengumumkan sebuah bukti dari konjektur tersebut.
Ketakcocokan Erdős dari barisan terhingga diusulkan sebagai ukuran keacakan lokal dalam pengurutan DNA.<ref>{{Cite journal|last=Li|first=Wentian|last2=Thanos|first2=Dimitrios|last3=Provata|first3=Astero|date=2019-01-14|title=Quantifying local randomness in human DNA and RNA sequences using Erdös motifs|journal=Journal of Theoretical Biology|volume=461|pages=41–50|arxiv=1805.10248|doi=10.1016/j.jtbi.2018.09.031|issn=0022-5193|pmid=30336158}}</ref> Hal ini berdasarkan fakta bahwa barisan panjang terhingga dalam kasus ketakcocokan adalah terbatas, dan sebab itu seseorang dapat menentukan barisan terhingga dengan ketakcocokan lebih kecil dari sebuah nilai tertentu. Barisan tersebut akan "menghindari" periodisitas. Ketika membandingkan distribusi yang diduga dengan distribusi yang diamati di dalam DNA atau menggunakan ukuran korelasi yang lain, maka seseorang dapat menyimpulkan terkait dengan perilaku lokal pengurutan DNA.
Baris 44 ⟶ 43:
* [http://michaelnielsen.org/polymath1/index.php?title=The_Erd%C5%91s_discrepancy_problem The Erdős discrepancy problem] – Polymath Project
* [https://www.independent.co.uk/life-style/gadgets-and-tech/news/computer-cracks-erds-puzzle--but-no-human-brain-can-check-the-answer-9137097.html Computer cracks Erdős puzzle – but no human brain can check the answer]—''[[
[[Kategori:Barisan biner]]
[[Kategori:Bukti berbantuan komputer]]
| |||