이론 컴퓨터 과학

1979 년 Hopcroft / Ullman 은 L ⊆ P ⊆ NP is PSpace는 알려져 있지만 L ⊊ PSpace는 모든 것이 적절한 격리라고 추측되지만 ~ 40 년 후 "여전히 남아있는 곳"이라고 알려진 유일한 적절한 (& 사소한) 격리라고 썼다. . 그때부터 L ⊊ P, P ⊊ PSpace 및 P ⊊ NP 사이에 …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

그래프 주어지면 가장 큰 정점 세트의 카디널리티를 찾아서 가능한 한 모든 최대 일치 항목에 있어야합니다.GGG 명백하게 각 정점을 제거하고 그것이 감소하는 것을 볼 수있는 최대 일치를 찾는 해결책이 있습니까?

12 graph-theory  graph-algorithms 

하자 고정 및하자 A (접속) 할 그래프. 내가 실수하지 않으면 Bodlaender [1, Theorem 3.11]의 연구에 따르면 의 나무 폭 이 대략 이상 이면 에는 별 가 미성년자로 포함됩니다.kkkGGGGGG2k32k32k^3GGGK1,kK1,kK_{1,k} 이라는 용어를 더 작게 만들 수 있습니까 ? 즉, 적어도 treewidth는 이미 -minor 의 존재를 의미 합니까? 어딘가에 증거가 있습니까?2k32k32k^3kkkK1,kK1,kK_{1,k} [1] Bodlaender, …

12 graph-theory  treewidth  graph-minor 

N P ⊆ P / p o l yP/poly=NP/polyP/poly=NP/polyP/poly = NP/poly 의미 차례로 다항식 계층 구조의 붕괴와 같은 흥미로운 결과를 보유하고 있습니다.NP⊆P/polyNP⊆P/polyNP \subseteq P/poly 대한 흥미로운 의미가 있습니까?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly

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

PSPACE에 경계 오류 랜덤 화를 추가해도 전력이 추가되지 않는 것으로 알려져 있습니다. 즉, BPPSAPCE = PSPACE입니다. P = BPP인지는 잘 알려져 있지 않지만 있습니다.BPP⊆Σ2∩Π2BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 따라서 P에 확률을 추가하면 표현력이 추가 될 수 있습니다 (거짓으로 추측 됨). 내 질문은 무작위 배정을 추가해도 더 이상 힘이 추가되지 않는 P와 PSPACE의 …

12 randomness  derandomization  polynomial-hierarchy 

셀 프로브 모델을 생각해보십시오. 임의의 길이의 연속 메모리 청크 (예 : C의 malloc)를 할당하고 메모리 세그먼트 화를 피하면서 해제 할 수있는 데이터 구조가 있습니까? n은 다음과 같은 최악의 결정적 O (log n) 시간에 모든 연산을 실행 메모리의 총 크기? 메모리 세분화를 피함으로써 총 자유 셀 수가 F이면 연속적인 F 셀 …

12 ds.data-structures  memory 

다양한 수의 이론 / 대수 문제의 알려진 또는 알려지지 않은 복잡성에 대한 목록을 찾고 있습니다. 예를 들어 GCD 가 열려 있습니다.엔씨1NC1NC^1 인수 분해 가 열려 있습니다.피PP 컴퓨팅 뭉치 상동 성은 -hard# P#P\#P , Arora와 Barak 은 팩토링의 변형이 라고 말합니다 ( NP- 완전 팩토링의 변형 에 대한 논의에 따르면 명확하지는 …

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

Trevisan 과 Lovett 가 TCS의 부가 조합 응용 프로그램에 대한 설문 조사를 읽고 있습니다. 이러한 응용 프로그램의 대부분은 계산 복잡성 , 예를 들어 하한에 해당합니다. 첨가제 조합론이 알고리즘 설계 에서도 응용 프로그램을 찾았는지 궁금합니다 . 내 질문에 대한 동기는 다음과 같습니다. 가산 조합과 복잡성 사이의 연결은 다소 자연스러운 것처럼 보이지만 …

12 ds.algorithms  reference-request  co.combinatorics 

다음 특성에 문제점이 있습니다. 1) 그것들은 PSPACE- 완전한 (아마도 잘 알려진) 문제의 제한입니다. 2) 제한된 버전은 PSPACE에 있지만 PSPACE가 완료된 경우 (또는 NP 하드 인 경우에도) 열린 문제 입니다. "퍼즐 & C"의 4 가지 예 : 1x1 러시 아워 [1]의 복잡성 (크기 2x1의 블록에 대해 PSPACE- 완료); [ 해결하고자 ] …

12 big-list  open-problem 

압축을 위해 데이터를 재정렬하는 알고리즘이 있습니까? 나는 이것이 데이터와 압축 알고리즘에 고유하다는 것을 이해하지만이 주제에 대한 단어가 있습니까? 이 분야의 연구는 어디서 찾을 수 있습니까? 특히, 나는 150 만 문자열의 json 목록을 가지고 있으며 gzip (HTTP의 경우) 압축이 최적화되도록 문자열을 다시 정렬하려고합니다. 문자열을 정렬하는 것은 꽤 좋지만 실제로 그것이 최적인지는 …

12 optimization  permutations 

Razborov와 Rudich 의 자연적인 증거 장벽은 믿을만한 암호화 가정 하에서 건설적이고, 크고, 유용한 기능의 조합 특성을 찾아서 NP를 P / poly에서 분리 할 수 ​​없다고 말합니다. 장벽을 피하기 위해 잘 알려진 몇 가지 결과가 있습니다. 장벽이 약한 대형 위반에 민감하다는 것을 보여주는 차우 의 결과 와 최근 채프먼과 윌리엄스의 논문 …

12 cc.complexity-theory  circuit-complexity 

"일부 색칠 게임의 복잡성"논문에서 Bodlaender는 일부 그래프 색칠 게임에서 플레이어 1 또는 2가 승리 전략을 갖는지 결정하는 복잡성에 대해 공개적인 질문을합니다. 그들이 해결되었는지 아는 사람이 있습니까? 1) 한 게임에서 두 명의 플레이어가 교대로 한 정점을 선택하여 고정 유한 세트의 색으로 올바르게 채색합니다. 패자는 정점을 채색 할 수없는 최초의 플레이어입니다. Schaefer의 …

12 graph-colouring  pspace  two-player-games 

-calculus 가 무엇인지, 왜, 어떻게 사용되는지에 대해 머리를 감싸려고 했지만 "왜 작동합니까?"를 이해하지 못했습니다.λλ\lambda "직관적으로"나는 Turing Machines (TM)의 계산 모델을 얻는다. 그러나이 -abstraction은 나를 혼란스럽게합니다.λλ\lambda TM이 존재하지 않는다고 가정합시다. 그러면 계산법이라는 개념을 포착하는 -calculus의 능력에 대해 어떻게 "직관적으로"확신 할 수 있을까요? 모든 기능과 그 기능에 대한 많은 기능을 갖는 것이 …

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

실제 세계에서 패리티 게임으로 표현 될 수있는 시스템 인 패리티 게임의 실제 적용 사례가 있습니까? 일반적으로 패리티 게임 관련 문서는이 응용 프로그램의 실제 예를 보여주지 않습니다.

12 lo.logic  two-player-games 

를 상수로 하자 . state finite automata 를 속이는 의사 난수 발생기를 어떻게 만들 수 있습니까?ddddddd 여기서, 유한 오토마타는 노드, 시작 노드, 수락 상태를 나타내는 노드 세트, 및 각 노드에서 나오는 0, 1로 표시된 두 개의 직접 에지를 갖는다. 입력을 읽을 때 자연스럽게 상태를 변경합니다. 주어지면 , 찾아서 유한 오토 …

12 automata-theory  pseudorandomness  pseudorandom-generators