Ilmu Komputer Teoritis

Masalah yang kami pertimbangkan di sini adalah perpanjangan dari masalah pewarnaan interval yang terkenal. Alih-alih interval kami menganggap persegi panjang memiliki sisi yang sejajar dengan sumbu. Tujuannya adalah untuk mewarnai persegi panjang menggunakan jumlah warna minimum sehingga setiap dua persegi panjang yang tumpang tindih diberi warna yang berbeda. Masalah ini …

17 ds.algorithms  approximation-algorithms  cg.comp-geom  graph-colouring  online-algorithms 

Saya membaca buku Simon Peyton Jones, Implementasi Bahasa Pemrograman Fungsional dan ada satu pernyataan yang sedikit mengejutkan saya (di halaman 39): Untuk tingkat yang jauh lebih besar daripada kasus untuk bahasa imperatif, bahasa fungsional sebagian besar variasi sintaksis satu sama lain, dengan perbedaan semantik yang relatif sedikit. Sekarang, ini ditulis …

17 functional-programming  semantics  imperative-programming 

Saya baru mengenal teori bahasa pemrograman dan saya mencari sumber daya yang bagus tentang sumber daya untuk semantik formal bahasa pemrograman. Secara khusus mencari semantik operasional struktural. Saya mendapat beberapa rekomendasi buku. Tapi saya mencari sumber daya di tingkat yang lebih awal. Terutama tutorial, situs web, dan rekomendasi buku gratis …

17 reference-request  pl.programming-languages  semantics  formal-systems 

Mudah untuk melihat bahwa masalah apa pun yang dapat ditentukan dalam deterministic logspace ( ) berjalan paling banyak pada waktu polinomial ( P ). Banyak algoritma diketahui logspace (Misalnya: diarahkan st-konektivitas, planar grafik isomorfisma) berjalan dalam O ( n k ) di mana k gila-gilaan besar.L.L.LPPPO ( nk)HAI(nk)O(n^k)kkk Saya mencari …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

Saya mencari tahu apakah ada hasil umum tentang atau contoh tentang kelengkapan NP dari masalah menemukan solusi kedua untuk masalah NP-lengkap. Lebih tepatnya, saya tertarik dengan masalah apa pun dari formulir berikut: Diberikan solusi untuk contoh dari masalah NP-complete, apakah ada solusi untuk ?SSSsayaIIS′≠ SS′≠SS' \neq SsayaII Setiap contoh masalah …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Diberikan jalan acak pada grafik, waktu sampul adalah yang pertama (jumlah langkah yang diharapkan) yang setiap titik telah tekan (tertutup) oleh jalan. Untuk grafik yang tidak diarahkan yang terhubung, waktu tutup diketahui dibatasi oleh . Ada digraf yang sangat terhubung dengan eksponensial waktu sampul dalam n . Contoh dari ini, …

17 graph-theory  co.combinatorics  markov-chains  random-walks 

Sejauh yang saya mengerti, semua tahu aturan pivot deterministik untuk algoritma simpleks memiliki input spesifik yang algoritma membutuhkan waktu eksponensial (atau setidaknya tidak polinomial) untuk menemukan yang optimal. Mari kita sebut contoh ini 'patologis' karena biasanya (yaitu pada sebagian besar input) algoritma simpleks berakhir dengan cepat. Saya ingat dari kursus …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

Sebuah perpanjangan linear dari poset P adalah pesanan linear pada unsur-unsur P , sehingga x ≤ y di P menyiratkan x ≤ y di L untuk semua x , y ∈ P .LLLPP\mathcal{P}PP\mathcal{P}x≤yx≤yx \leq yPP\mathcal{P}x≤yx≤yx \leq yLLLx,y∈Px,y∈Px,y\in\mathcal{P} Sebuah grafik ekstensi linear adalah grafik pada set ekstensi linear dari poset, di …

17 graph-theory  co.combinatorics 

Di masa lalu, saya menerapkan model koordinasi menggunakan SAT dan kepuasan kendala reguler sebagai pekerja keras inti di mesin mereka. Melanjutkan pekerjaan ini, saya ingin membuat model lebih interaktif, dan cara terbaik yang saya lihat untuk melakukannya adalah dengan membuka pemecah kendala sehingga tidak lagi menjadi kotak hitam. Jadi, saya …

17 sat  lo.logic  csp 

Saat membaca makalah tentang menggunakan metode aljabar untuk mendeteksi beberapa subgraf yang diinduksi, tampak bahwa edge ideal adalah alat penting yang menghubungkan teori aljabar dan grafik komutatif. Karena saya tidak terbiasa dengan perhitungan objek aljabar, apakah ada referensi atau buku yang bagus tentang topik ini? Keistimewaan dalam merepresentasikan cincin R …

17 ds.algorithms  reference-request  algebra  algebraic-complexity 

Distribusi dikatakan ϵ -membodoh fungsi f jika | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . Dan dikatakan menipu kelas fungsi jika menipu setiap fungsi di kelas itu. Hal ini diketahui bahwa ε …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

Katakanlah Anda membangun komputer yang akan menghitung keadaan semua atom di Semesta pada titik waktu tertentu di masa depan. Karena Universe, menurut definisi, adalah segala sesuatu yang ada (dan apa pun yang berinteraksi dengan yang lain), ia juga termasuk komputer yang Anda bangun. Bisakah Anda menghitung keadaan semua atom di …

17 computability 

Pertanyaan ini terinspirasi oleh t-shirt Georgia Tech Algorithms and Randomness Center , yang menanyakan "Acak atau tidak ?!" Ada banyak contoh di mana pengacakan membantu, terutama ketika beroperasi di lingkungan permusuhan. Ada juga beberapa pengaturan di mana pengacakan tidak membantu atau menyakiti. Pertanyaanku adalah: Apa saja pengaturan ketika mengacak (dalam …

17 randomness  big-picture  randomized-algorithms 

Saya tertarik pada properti grafik berarah acak dengan tingkat out-fixddd . Saya membayangkan model grafik acak di mana setiap simpul memilih tetangga d (katakanlah, dengan penggantian) uar Pertanyaan : Adakah yang diketahui tentang distribusi stasioner dan waktu pencampuran jalan acak pada grafik acak ini (untuk berbagai nilai )? ddd Saya …

17 graph-theory  co.combinatorics  automata-theory  random-walks 

Dinamika Glauber adalah rantai Markov pada pewarnaan grafik di mana pada setiap langkah seseorang mencoba untuk mewarnai ulang sebuah simpul yang dipilih secara acak dengan warna acak. Itu tidak bercampur untuk 3-warna dari 5-siklus: ada 30 3-warna, tetapi hanya 15 dari mereka yang dapat dicapai dengan langkah-langkah pewarnaan simpul tunggal. …

17 graph-theory  markov-chains