Grafik automorphism adalah permutasi dari node grafik yang menginduksi bijection di tepi set EEE . Secara formal, Ini adalah permutasi fff node tersebut (u,v)∈E(kamu,v)∈E(u,v)\in E IFF (f(u),f(v))∈E(f(kamu),f(v))∈E(f(u),f(v))\in E Tentukan tepi yang dilanggar untuk beberapa permutasi sebagai tepi...
Motivasi: Dalam algoritme maxflow jalur augmentasi standar, loop dalam membutuhkan jalur pencarian dari sumber untuk tenggelam dalam grafik tertimbang yang diarahkan. Secara teoritis, sudah diketahui umum bahwa agar algoritme itu bahkan berhenti ketika ada kapasitas tepi yang tidak rasional, kita...
Pertanyaan ini muncul dalam benak saya setelah membaca kontribusi András Salamon dan Colin McQuillan untuk pertanyaan saya sebelumnya. Menghitung solusi dari formula Monotone-2CNF . EDIT 30 th Mar 2011 Ditambahkan pertanyaan n ° 2. EDIT 29 th Oktober 2010 Pertanyaan diulang setelah András...
Mengingat digraf G yang sangat terhubung dengan tepi berbobot, saya ingin mengidentifikasi tepian yang terbukti bukan bagian dari subgraph minimal terhubung kuat (MSCS) dari G. Salah satu metode untuk menemukan tepi tersebut adalah algoritma Floyd-Warshall yang dimodifikasi. Dengan menggunakan...
Apakah ada alat di mana seseorang dapat mengetahui apakah dua orang memiliki rekan penulis atau tidak? Seperti alat di mana seseorang dapat mengetahui Erdos seseorang _number_ seseorang
Transaksi basis data klasik yang disederhanakan dapat dilihat sebagai: membaca item M. melakukan beberapa perhitungan berdasarkan bacaan tersebut menulis beberapa hasil N berdasarkan perhitungan ini, yang dapat mencakup unsur-unsur yang awalnya dibaca. Saat melakukan transaksi ini (secara...
Saya memiliki LP berikut: /* Fungsi objektif */ min: 1 w + 2 x + 0,5 y + z; / * Batas variabel * / w + x <= T1; w + y = U1; x + z = U2; T1 = 50; U1 = 70; U2 = 25; Dalam hal ini U1 + U2> T1 dan solusi optimal adalah y = 70 dan z = 25. Saya ingin memberlakukan kondisi bahwa variabel w dan...
Saya memiliki pertanyaan kelayakan yang dapat dibingkai sebagai berikut. Saya diberi titik dalam ruang vektor dimensional, dan saya ingin mencari titik terdekat ke yang memenuhi seperangkat " kendala" dari formulird q p ℓ 0pppdddqqqpppℓ0ℓ0\ell_0 Diberikan himpunan , paling banyak dari dapat...
Hiroimono adalah puzzle lengkap populer . Saya tertarik pada kompleksitas komputasi dari teka-teki terkait.NPNPNP Masalahnya adalah: Input : Diberikan satu set titik pada pada x kotak persegi dan integernnnnnnkkk Pertanyaan : Apakah ada poligon bujursangkar (sisi-sisinya sejajar dengan atau...
Biarkan menjadi permutasi. Perhatikan bahwa sementara bertindak pada domain tanpa batas, deskripsinya mungkin terbatas. Menurut deskripsi , maksud saya adalah program yang menjelaskan fungsionalitas . (Seperti dalam kompleksitas Kolmogorov.) Lihat penjelasan di bawah ini. π
Dalam Universal Blind Quantum Computation , autors menggambarkan protokol berbasis pengukuran yang memungkinkan pengguna yang hampir klasik untuk melakukan perhitungan sewenang-wenang pada server kuantum tanpa mengungkapkan hampir apa pun tentang konten perhitungan. Dalam deskripsi protokol,...
Adakah yang tahu tentang serangkaian masalah yang bervariasi secara seragam dan menjangkau salah satu hierarki kompleksitas dan komputabilitas yang "menarik"? Yang menarik, maksud saya, misalnya, Hirarki Polinomial, Hirarki Aritmatika, atau Hirarki Analitik. Atau mungkin (N) P, (N) EXP, 2 (N) EXP,...
Pertanyaan : Apakah memprediksi (sebagaimana didefinisikan di bawah) urutan yang dapat dihitung sama sulitnya dengan masalah penghentian? Elaborasi : "Predict" berarti berhasil memprediksi, yang berarti hanya membuat banyak kesalahan pada tugas mencoba untuk memprediksi bit ke-n dari urutan yang...
Pertama-tama, saya masih tidak yakin apakah cerita ini disesuaikan dengan baik untuk pertanyaan ini, jadi saya tidak akan tersinggung jika orang banyak berpikir itu tidak terjadi ... Dalam pemasaran mesin pencari, beberapa masalah menarik. Desain mekanisme lelang yang adil (dan menguntungkan) dan...
Harvey Friedman menunjukkan bahwa ada hasil titik tetap rapi yang tidak dapat dibuktikan dalam ZFC (teori himpunan Zermelo-Frankel biasa dengan Aksioma Pilihan). Banyak logika modern dibangun di atas operator titik tetap, jadi saya bertanya-tanya: apakah ada konsekuensi yang diketahui dari teorema...
Resolusi adalah skema untuk membuktikan ketidakpuasan CNF. Bukti dalam resolusi adalah deduksi logis dari klausa kosong untuk klausa awal CNF. Khususnya setiap klausa awal dapat disimpulkan, dan dari dua klausa dan klausa A \ lor B dapat disimpulkan juga. Sangkalan adalah urutan pemotongan yang...
Ketika berurusan dengan kategori teori domain (katakanlah CPO dan CPO), saya sering berharap untuk kamus untuk bahasa teori kategori dalam teori domain.ωω\omega Artinya, diberikan konsep, katakan panah monic, saya bisa mencarinya di kamus dan melihat apa karakterisasi yang diketahui dalam kategori...
Saya mencoba menyusun taksonomi algoritma untuk mengubah ekspresi reguler menjadi automata sehingga dapat melakukan beberapa tes empiris dari sifat kompleksitas mereka di domain tertentu. Saya mengetahui beberapa nama 'besar', misalnya, Thompson "Algoritma Pencarian Ekspresi Reguler",...
Bab Smyth dalam buku pegangan logika dalam ilmu komputer dan referensi lain menjelaskan bagaimana ruang metrik dapat digunakan sebagai domain. Saya mengerti bahwa ruang metrik lengkap memberikan titik tetap yang unik, tetapi saya tidak mengerti mengapa ruang metrik penting. Saya sangat menghargai...
Latar Belakang Kompleksitas sirkuit didefinisikan sebagai himpunan rangkaian keluarga (yaitu rangkaian rangkaian, satu untuk setiap ukuran input) dengan kedalaman terikat dan ukuran polinomial yang dibangun menggunakan kipas-in tanpa batas AND, OR, dan NOT.AC0AC0AC^0 Fungsi paritas dengan input...