이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

3
TCS에서
저는 이론적 인 컴퓨터 과학자가 아닙니다. 나는 범주를 사용하는 안정적인 동성애 이론가 입니다. 나는 이론적 컴퓨터 과학에 대한 범주 이론과 이론 이론의 적용을 보았으며 이론적 컴퓨터 과학에서 ∞ 범주 (및 바람직하게는 안정한 동위 원소 이론)를 사용할 수있는 방법이 있는지 궁금합니다 . 나는 HoTT가 그런 응용 프로그램 중 하나라고 생각하지만 HoTT에 …
2
감도 블록 감도 추측-시사점
를 감도 및 블록 감도 가진 부울 함수라고 하자 .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) 민감도-블록 민감도 추측 추측 은 와 같은 있다고 합니다.c>0c>0c>0∀f, bs(f)≤s(f)c∀f, bs(f)≤s(f)c\forall f,\mbox{ }bs(f)\leq s(f)^c 이 추측의 진실과 거짓의 의미는 무엇입니까? 참고 문헌도 인용하십시오.
2
NP 완전 문제의 매듭 이론적 구성이 있습니까?
연구 할 토폴로지 특성이 좋은 NP complete (또는 NP-hard 또는 NP) 문제가 있습니까? NP 문제에 매듭 이론적 인 공식이 있습니까? 우리 는 Jones 다항식에 대한 # 결과에 대해 알고 있습니다. 그래프 문제 (내장?), 특히 그래프의 채색은 훌륭한 매듭 이론적 특성을 갖는 것으로 볼 수 있습니다. 이 질문은 개방형 질문이며이 주제에 …
2
다음 아이디어를위한 문학 자료 찾기
나는 내가 제시 할 아이디어를 가장 먼저 접한 사람이 아니라고 확신한다. 그러나 아이디어와 관련된 문헌을 찾을 수 있다면 도움이 될 것입니다. 아이디어는 P = NP 인 경우 M이 다항식 시간에 3-SAT를 해결한다는 특성으로 Turing Machine M을 구성하는 것입니다. (3-SAT의 선택은 임의적입니다. NP의 문제 일 수 있습니다). 분명히, 이것은 P = …
3
2-CNF 또는 2-SAT로 표현할 수있는 특성
어떤 속성이 2-CNF (2-SAT)로 표현 될 수 없다는 것을 어떻게 알 수 있습니까? 페블 게임과 같은 게임이 있습니까? 고전적인 블랙 페블 게임과 블랙-화이트 페블 게임은 이것에 부적합한 것으로 보입니다 (Hytel과 Pitassi, SIAM J of Computing, 2010에 따르면 PSPACE는 완벽합니다). 아니면 게임 이외의 기술이 있습니까? 편집 : 나는 알 수없는 술어 …
2
이 세트 커버 문제의 변형은 무엇입니까?
입력 유니버스 인 UUU 와의 하위 집합의 가족 UUU , 말 F⊆2UF⊆2U{\cal F} \subseteq 2^U . 의 부분 집합은 U , 즉 ⋃ E ∈ F E = U를 포함FF{\cal F} 할 수 있다고 가정합니다 .UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U 증분 피복 시퀀스 의 서브 세트의 서열이다 FF{\cal F} 말하자면 = { …
1
최적의 무작위 비교 정렬
따라서 (결정 론적) 비교 정렬 알고리즘에 의한 최악의 비교 수에 대한 비교 트리 하한값 을 알고 있습니다. 무작위 비교 정렬에는 적용되지 않습니다 (최악의 경우 입력에 대한 예상 비교를 측정하는 경우). 예를 들어, 의 경우 결정 론적 하한은 5 개의 비교이지만 모든 입력에 대해 비교를 갖는 무작위 알고리즘 (입력을 임의로 치환 …
1
엄격한 포함을 알 수없는 LOGSPACE를 포함하는 큰 클래스
PSPACE의 wikipedia 페이지에는 포함 이 엄격하지 않다고 언급 되어 있습니다 (불행히도 참조가 없음).NL⊂PHNL⊂PHNL\subset PH Q1 : 와 L ⊂ P # P 는 어떻습니까?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} Q2 : 어떤 경우 설립 클래스가없는 가 들어 P # P 와 포함의 경우 어느 것이 알려져 있지 않다 L ⊂ C는 엄격하다?CCCP#PP#PP^{\#P}L⊂CL⊂CL\subset C …
1
익스팬더 그래프에서 긴 유도 경로의 존재
하자가 그래프 가족 말 있다 긴 경로를 유도 있을 경우 상수 ε > 0 등 모든 그래프 것을 G 에서 F가 에 유도 경로를 포함 | V ( G ) | ϵ 꼭짓점. 긴 유도 경로의 존재를 보장하는 그래프 패밀리의 속성에 관심이 있습니다. 특히, 나는 현재 일정한 정도의 확장기가 긴 …
3
짧은 연구 기사의 장소
방금 특정 조합 게임 NP-Complete을 증명하는 짧은 (5 페이지) 논문을 완성했습니다. 이것은 결코 큰 의미의 결과는 아니지만 출판 가능하다고 생각합니다. 이 같은 논문에 어떤 장소가 좋을까요? 내가 아는 유일한 것은 정보 처리 서한입니다. 이와 같은 다른 것들이 있습니까?
12 journals 
2
작은주기가없는 그래프의 해밀턴주기
cstheory 에서이 질문에 대답하면서 나는 (비공식적으로) 다음 정리를 즉석에서 증명했습니다. 정리 : 고정 경우 해밀턴 사이클 프로브는 길이 ≤ l 사이클을 포함하지 않는 최대 3 도의 평면 2 분자 무 방향 그래프로 제한 되더라도 NP- 완료 상태를 유지합니다 .l≥3l≥3l \geq 3≤l≤l\leq l 아직 어딘가에 나타나지 않은 것 같습니다. 그러나 "SGS에 …
1
가
N P- hard 가 아닌 모든 언어 ( P ≠ N P로 가정 ), P L ≠ P SAT 임을 증명할 수 있습니까 ? 또는 합리적인 가정 하에서이를 입증 할 수 있습니까?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}
2
?
이 가능하다는 ? 그러한 격리의 흥미로운 결과가 있습니까? 지수 시간 가설과 모순됩니까?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))
1
칸난의 정리는 NEXPTIME ^ NP ⊂ P / poly를 암시합니까?
나는 Buhrman와 호머의 종이 읽고 있었다 "Superpolynomial 회로, 대부분의 스파 스 오라클과 지수 계층 구조" . 2 페이지의 맨 아래에서 Kannan의 결과는 NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} 다항식 크기 ​​회로가 없음을 암시합니다 . 지수 시간 계층에서 NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} 는 단지 Σ2EXPΣ2EXP\Sigma_2EXP 이며 Kannan의 결과는 ∀c ∃L∈Σ2P∀c ∃L∈Σ2P\forall c\mbox{ }\exists L\in\Sigma_2P 이므로 L∉Size(nc)L∉Size(nc)L \not\in Size(n^c)Σ2P⊄P/polyΣ2P⊄P/poly\Sigma_2P \not\subset …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.