Saya kira saya membaca terlalu banyak makalah KoRR yang ambisius . Masalahnya adalah bahwa kertas-kertas itu tidak ditinjau oleh rekan, tetapi sering terdengar menarik dan lulus pemeriksaan masuk akal dasar. Atau mungkin tidak, dan saya hanya perlu meningkatkan pemeriksaan masuk akal saya. Berikut...
Kompleksitas kelas PPAD (misalnya, menghitung berbagai kesetimbangan Nash) dapat didefinisikan sebagai sekumpulan masalah pencarian total yang dapat direduksi menjadi polytime menjadi END OF THE LINE : END OF THE LINE : Sirkuit yang diberikan S dan P dengan n bit input dan n bit output sedemikian...
Apa yang terjadi jika kita mendefinisikan P P A DPPAD{\bf PPAD} sehingga bukan sirkuit polytime Turing-mesin / polysize, sebuah logspace Turing-mesin atau A C 0AC0{\bf AC^0} sirkuit mengkodekan masalah? Baru-baru ini memberikan algoritma cepat untuk Circuit satisfiability untuk sirkuit kecil...
Kelas kompleksitas PPAD biasanya didefinisikan dengan menyatakan bahwa End-Of-The-Line adalah PPAD-complete. End-Of-The-Line adalah masalah pencarian. Input terdiri dari grafik terarah di mana setiap node memiliki derajat dan derajat paling banyak 1. Grafik diberikan oleh fungsi komputasi waktu...
Kompleksitas kelas PPAD ditemukan oleh Christos Papadimitriou dalam makalah seminalnya tahun 1994 . Kelas dirancang untuk menangkap kerumitan masalah pencarian di mana keberadaan solusi dijamin oleh "Argumen paritas dalam grafik berarah": jika ada titik tidak seimbang dalam grafik berarah maka...
Nash Equilibria tidak dapat dihitung secara umum. Suatu keseimbangan -Nash adalah seperangkat strategi di mana, mengingat strategi lawan, masing-masing pemain memperoleh dalam dari hasil maksimum yang diharapkan. Menemukan keseimbangan -Nash, diberikan dan permainan, adalah .ϵ ϵ ϵ P P A...
Menurut Handshaking Lemma: setiap grafik tidak berarah yang memiliki simpul yang derajatnya adalah bilangan ganjil harus memiliki beberapa simpul lain yang derajatnya adalah bilangan ganjil. Pengamatan ini berarti bahwa jika kita diberi grafik dan simpul derajat ganjil, dan kita diminta untuk...