Pertanyaan yang diberi tag «physics»

Tampak jelas bahwa sejumlah subbidang ilmu komputer teoretis telah secara signifikan dipengaruhi oleh hasil-hasil dari teori fisika. Dua contohnya adalah Perhitungan kuantum Hasil mekanika statistik digunakan dalam analisis kompleksitas / algoritma heuristik. Jadi pertanyaan saya, adakah bidang utama yang saya lewatkan? Motivasi saya sangat sederhana: Saya seorang fisikawan teoretis yang …

42 soft-question  quantum-computing  statistical-physics  physics 

Kompleksitas komputasi mencakup studi kompleksitas ruang atau waktu dari masalah komputasi. Dari perspektif komputasi mobile, energi adalah sumber daya komputasi yang sangat berharga. Jadi, Adakah adaptasi yang dipelajari dengan baik dari mesin Turing yang memperhitungkan energi yang dikonsumsi selama eksekusi algoritma. Juga, Apakah ada kelas kompleksitas energi yang ditetapkan untuk …

35 cc.complexity-theory  physics 

Pertanyaan ini diajukan kepada Jeannette Wing setelah presentasi PCAST tentang ilmu komputer. "Dari perspektif fisika, apakah ada volume maksimum informasi yang dapat kita miliki?" (Pertanyaan tantangan yang bagus untuk komunitas ilmu komputer teoretis karena saya pikir itu menimbulkan pertanyaan "Apa itu informasi?") Melampaui "Apa itu informasi?" kita juga harus mencari …

33 it.information-theory  physics 

Sebagai seorang amatir TCS, saya membaca beberapa materi yang sangat populer tentang komputasi kuantum. Berikut adalah beberapa informasi dasar yang telah saya pelajari sejauh ini: Komputer kuantum tidak dikenal untuk menyelesaikan masalah NP-complete dalam waktu polinomial. "Sihir kuantum tidak akan cukup" (Bennett et al. 1997): jika Anda membuang struktur masalah, …

33 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

Banyak ahli percaya bahwa benar dan menggunakannya dalam hasil mereka. Kekhawatiran saya adalah bahwa kompleksitasnya sangat tergantung pada .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Jadi pertanyaan saya adalah: Selama tidak terbukti, bisakah / haruskah seseorang menganggapnya sebagai hukum alam, seperti yang ditunjukkan dalam kutipan dari Strassen? Atau haruskah kita memperlakukannya sebagai …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

Saya telah mendengar bahwa ada argumen heuristik dalam fisika statistik yang menghasilkan hasil dalam teori probabilitas di mana bukti yang kuat tidak diketahui atau sangat sulit untuk dicapai. Apa contoh mainan sederhana dari fenomena seperti itu? Akan lebih baik jika jawabannya diasumsikan sedikit latar belakang dalam fisika statistik dan dapat …

29 sat  pr.probability  physics  statistical-physics 

Pertimbangkan jaringan listrik yang dimodelkan sebagai grafik G planar, di mana setiap sisi mewakili resistor 1Ω. Seberapa cepat kita bisa menghitung resistensi efektif yang tepat antara dua simpul dalam G? Setara, seberapa cepat kita dapat menghitung arus yang tepat mengalir di sepanjang setiap tepi jika kita memasang baterai 1V ke …

22 ds.algorithms  graph-theory  planar-graphs  physics 

Untuk memeriksa pemahaman saya, saya ingin berbagi beberapa pemikiran tentang kebutuhan energi perhitungan. Ini adalah tindak lanjut dari pertanyaan saya sebelumnya dan mungkin terkait dengan pertanyaan Vinay tentang hukum konservasi . Terlintas dalam pikiran saya bahwa, dari sudut pandang termodinamika, menjalankan perhitungan dapat dianggap, sampai batas tertentu, analog dengan menggerakkan …

22 cc.complexity-theory  big-picture  physics 

Pertanyaan ini merupakan tindak lanjut dari pertanyaan tentang algoritma DNA yang ditanyakan oleh Aadita Mehra . Dalam komentar di sana, Joe Fitzsimmons berkata, sebagian: Jari-jari sistem harus berskala proporsional dengan massa untuk menghindari hal ini. Kekuatan komputasi berskala paling linear dalam massa. Dengan demikian jumlah mesin Anda yang eksponensial memiliki …

22 cc.complexity-theory  quantum-computing  ne.neural-evol  physics  natural-computing 

Dalam perhitungan kuantum adiabatik (AQC), seseorang mengkodekan solusi untuk masalah optimisasi dalam keadaan dasar [masalah] Hamiltonian . Untuk sampai ke keadaan dasar ini, Anda mulai dalam keadaan awal (ground) yang mudah didinginkan dengan Hamiltonian dan " " ( adiabatik) menuju , yaituH i H pHhalHpH_pHsayaHiH_iHhalHpH_p H( s ) = s …

19 reference-request  quantum-computing  physics  topology 

Komputasi reversibel adalah model komputasi yang hanya memungkinkan operasi termodinamik reversibel. Menurut prinsip Landauer, yang menyatakan bahwa menghapus sedikit informasi melepaskan joule panas, ini mengesampingkan fungsi transisi yang tidak satu-ke-satu (misalnya, operator Boolean DAN dan ATAU). Telah diketahui dengan baik bahwa perhitungan kuantum secara inheren dapat dibalik karena operasi yang …

19 cr.crypto-security  quantum-computing  big-picture  physics  quantum-information 

Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Baru-baru ini saya menemukan konstruksi teoretis yang cukup menarik. Mesin Gödel disebut Ini adalah pemecah masalah umum yang mampu melakukan optimasi diri. Ini cocok untuk lingkungan yang reaktif. Seperti yang saya mengerti, ini dapat diimplementasikan sebagai program untuk mesin Turing universal, meskipun persyaratannya jauh melampaui perangkat keras yang saat ini …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

Salah satu hal menakjubkan tentang ilmu komputer adalah bahwa implementasi fisik dalam beberapa hal "tidak relevan". Orang-orang telah berhasil membangun komputer dari beberapa substrat yang berbeda - relay, tabung hampa udara, transistor diskrit, dll. Orang mungkin akan segera berhasil membangun komputer lengkap Turing dari bahan optik non-linear, berbagai biomolekul, dan …

16 computability  turing-machines  terminology  physics  natural-computing 

Saya pernah membaca buku, artikel, dan makalah yang diterbitkan tentang Quantum-Computing. Saya menemukan bahwa semua materi yang saya lihat adalah, alih-alih menggambarkan gerbang kuantum dari fisika dasar ke abstraksi, berusaha keras untuk menghindari berbicara tentang detail implementasi gerbang kuantum . Saya pertama kali bertanya pada diri sendiri: Apakah saya mencari …

11 physics  quantum-computing