Teorik Bilgisayar Bilimi

Karp azaltımı, iki hesaplama problemi arasında polinom zaman hesaplamalı bir-bir azaltmadır. Birçok Karp azaltımı aslında birebir işlevlerdir. Bu, her Karp azaltmasının etkisiz olup olmadığı sorusunu gündeme getirmektedir (bir-bir işlev). Doğal var mıdır sadece pek bir arada altında Karp azaltma tam olduğu bilinen ve injektif Karp azaltılması altında tam olarak bilinmemektedir …

12 cc.complexity-theory 

Bir grafiği verildiğinde , her biri mümkün olan her maksimum eşleşmede mevcut olacak şekilde en büyük köşe kümesinin önemini bulmamız gerekir.G,GG Her bir tepe noktasını kaldırmak ve azaldığını görmek için maksimum eşleşmeyi bulmak yanında bir çözüm var mı?

12 graph-theory  graph-algorithms 

P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly imaNP⊆P/polyNP⊆P/polyNP \subseteq P/poly da polinom hiyerarşi çöküşü gibi ilginç sonuçlar doğurur. için ilginç çıkarımlar var P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/polymı?

12 cc.complexity-theory  conditional-results  advice-and-nonuniformity 

kkk sabit olsun ve G,GG (bağlı) grafik olsun. Yanılmıyorsam, bu Bodlaender [1, Teorem 3.11] çalışmalarından şu ait treewidth eğer G,GG kabaca en az olduğu 2 k32k32k^3 , daha sonra G,GG bir yıldız içeren K1 , kK1,kK_{1,k} Küçük bir çocuk gibi. terimini 2 k32k32k^3daha küçük yapabilir miyiz ? Yani, treewidth en …

12 graph-theory  treewidth  graph-minor 

Hücre sondası modelini düşünün. Herhangi bir uzunluktaki (örneğin C'deki malloc gibi) bitişik bellek yığınlarını ayırabilen ve onları serbest bırakarak, bellek bölümlemesinden kaçınarak ve n'nin olduğu en kötü durum deterministik O (log n) zamanında her işlemi gerçekleştirebilen bir veri yapısı var mı? toplam bellek boyutu? Bellek bölümlemesinden kaçınarak, toplam serbest hücre …

12 ds.data-structures  memory 

Trevisan ve Lovett'in TCS'de aditif birleştiricinin uygulamaları üzerine anketler okuyorum . Bu uygulamaların çoğu , örneğin daha düşük sınırlar gibi, hesaplama karmaşıklığı altındadır . Katkı kombinatoriklerinin algoritma tasarımında da uygulamalar bulup bulamadığını merak ediyorum . Sorumun motivasyonu şudur: Katkı birleştirici ve karmaşıklık arasındaki bağlantı biraz doğal gibi görünse de, katık …

12 ds.algorithms  reference-request  co.combinatorics 

PSPACE'e sınırlı hata rasgeleleştirmesi eklemenin güç eklemediği bilinmektedir. Yani, BPPSAPCE = PSPACE. P = BPP olup olmadığı bilinmemektedir, ancak olduğu bilinmektedir .B PP⊆ Σ2∩ Π2BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 Böylece, P'ye olasılık eklemenin etkileyici güç katması mümkündür (yanlış olduğu varsayılırken). Benim sorum, P ve PSPACE arasındaki sınırı randomize etmenin artık güç eklemediği …

12 randomness  derandomization  polynomial-hierarchy 

Çeşitli sayı teorik / cebirsel problemlerin bilinen veya bilinmeyen karmaşıklığı hakkında bir liste arıyorum. Örneğin, GCD açık,N-C1NC1NC^1 faktoring açıktır,PPP demet kohomolojisinin hesaplanması -hard# P#P\#P , Arora Barak faktoringe bir varyantı olan devlet -Komple (bu tartışma göre açık değildir da faktoringe bir NP-tam varyantı. ),N-PNPNP Barbulescu ve arkadaşlarının ayrık logaritmalar üzerine …

12 cc.complexity-theory  big-list  algebra  open-problem 

Başımı hesabının ne, neden ve nasıl sarmaya çalışıyordum ama "neden çalışıyor?"λλ\lambda "Sezgisel" Turing Machines (TM) hesaplanabilirlik modelini alıyorum. Ama bu soyutlama beni şaşırttı.λλ\lambda Diyelim ki TM'ler yok - o zaman hesabının bu hesaplanabilirlik kavramını yakalama yeteneği hakkında nasıl "sezgisel olarak" ikna edilebilir ? Her şey için bir grup fonksiyona sahip …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

Sıkıştırmayı optimize etmek için verileri yeniden sıralamak için herhangi bir algoritma var mı? Bunun veri ve sıkıştırma algoritmasına özgü olduğunu anlıyorum, ancak bu konu için bir kelime var mı? Bu alanda nerede araştırma bulabilirim? Özellikle, ben 1,5 milyon dizeleri bir json listesi var ve gzip (HTTP için) sıkıştırma optimize böylece …

12 optimization  permutations 

Aşağıdaki özelliklerle ilgili sorunlar nelerdir: 1) PSPACE-tamamlanmış (muhtemelen iyi bilinen) sorunların kısıtlanmasıdır; 2) kısıtlanmış sürümler PSPACE'tedir, ancak PSPACE-tamamlanmışsa (veya NP-sert olsalar bile) açık bir sorundur . "Puzzles & C." den dört örnek: 1x1 Rush Hour [1] 'in karmaşıklığı (2x1 boyutundaki bloklar için PSPACE-complete); [ ÇÖZÜLDÜ ] Düzlemsel Metro Karışması'nın karmaşıklığı …

12 big-list  open-problem 

"Bazı boyama oyunlarının karmaşıklığı hakkında" makalesinde Bodlaender, 1 veya 2 numaralı oyuncunun bazı grafik boyama oyunlarında kazanma stratejisi olup olmadığına karar vermenin karmaşıklığı hakkında bazı açık sorular veriyor. Çözülüp çözülmediğini bilen var mı? 1) Bir oyunda, iki oyuncu sırayla bir grafikte bir tepe noktası seçer ve sabit bir sonlu setten …

12 graph-colouring  pspace  two-player-games 

Parite oyunlarının, yani gerçek dünyada, parite oyunları olarak temsil edilebilecek sistemlerin pratik uygulamalarına ilişkin örnekler var mı? Genellikle parite oyunları ile ilgili belgelerin neredeyse hiç pratik bir örneği yoktur.

12 lo.logic  two-player-games 

Razborov ve Rudich'in doğal kanıt bariyeri, güvenilir kriptografik varsayımlar altında, yapıcı, büyük ve kullanışlı işlevlerin birleştirici özelliklerini bularak NP'yi P / poli'den ayırmayı umamayacağını belirtiyor. Bariyeri atlatmayı başaran birçok iyi bilinen sonuç vardır. Chow'un bariyerin zayıf büyük çaplı ihlallerine karşı hassas olduğunu göstermesi ve Chapman ve Williams'ın yakın tarihli bir …

12 cc.complexity-theory  circuit-complexity 

Let bir sabit. D- durumlu sonlu otomata aptal yerine nasıl sahte bir jeneratör üretebiliriz ?dddddd Burada, bir durumlu sonlu otomatada d düğümleri, bir başlangıç ​​düğümü, kabul durumlarını temsil eden bir dizi düğüm ve her düğümden 0, 1 olarak etiketlenmiş iki yönlendirilmiş kenar bulunur. Girişi okurken durumu doğal bir şekilde değiştirir. …

12 automata-theory  pseudorandomness  pseudorandom-generators