이론 컴퓨터 과학

부울 함수의 복잡성 측정에 대한 연구에서 매우 흥미로운 개방형 문제는 소위 감도 대 블록 감도 추측입니다. 감도 대 블록 감도에 대한 배경 지식은 http://www.scottaaronson.com/blog/?p=453 에서 S. Aaronson의 다음 블로그 게시물을 참조하십시오 . 내가 아는 한, 와 관련 하여 에 알려진 최고의 상한 은 입니다. [케넌, Kutin 용지]하지만 물론 아마도 관련된 …

11 cc.complexity-theory  reference-request  fourier-analysis 

다음 속성을 가진 가 있습니까?L ∈ N PL∈NPL\in {\bf NP} 그것은 것으로 알려져 의미 .패 ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} (또는 일부 다른 -완전한 문제)를 튜링 감소하는 알려진 다항식 시간은 없습니다 .에스TSATSATN PNP{\bf NP}엘LL 즉,에 대한 다항식 시간 알고리즘 경우 붕괴 의미 로 , 그것은이 "일반 …

11 cc.complexity-theory  np-hardness  reductions 

일부 배경 : LWE (Learning with Errors) 문제에 대한 "알려지지 않은"하한 (또는 경도 결과) 및 링 위의 오류를 사용한 학습과 같은 일반화를 찾는 데 관심이 있습니다. 구체적인 정의 등을 보려면 다음과 같이 Regev의 훌륭한 설문 조사를 참조하십시오 . http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf (R) LWE 스타일 가정의 표준 유형은 (아마도, 양자) 감소를 통해 (아마도, …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

NP가 coNP와 같은지에 대한 질문에 관심이 있습니다. 나는 좋은 간행물에 대한 조언을 많이 읽어 주셔서 감사합니다. 기록을 위해이 질문은 P가 NP와 같은지 여부에 대한 질문과 밀접하게 관련되어 있음을 알고 있습니다 (NP! = coNP이면 P! = NP). 건배, 데릭

11 cc.complexity-theory  reference-request  p-vs-np 

채색을 약간 완화하십시오. 즉, 소수의 인접한 정점에 동일한 색상을 할당 할 수 있습니다. 단색 성분은 동일한 색을받는 정점 세트에 의해 유도 된 서브 그래프에서 연결된 성분으로 정의되며, 가장 큰 단색 성분이 크기를 갖도록 그래프를 채색하는 데 필요한 최소 의 색λλ\lambdaCCC 을 묻는 것이 문제입니다. 보다 더 C . 이 설정에서 …

11 cc.complexity-theory  graph-theory  graph-colouring  planar-graphs 

나는 해바라기 시스템과 컴퓨터 과학에서의 응용에 흥미가 있습니다. 유니버스 UUU 와 kkk 세트 집합 A iAiAiA_i 가 모두 i ≠ j에 대해 A i ∩ A j = Y 인 경우 k i-을 플라워 시스템 이라고합니다 . 그리고 Y 는 핵심이라고하고 A i - Y 는 꽃잎이라고합니다. Ai∩Aj=YAi∩Aj=YA_i \cap A_j …

11 co.combinatorics  set-theory 

속 문제의 근사성에 대해 현재 알려진 것은 무엇입니까? 예비 검색은 일정한 요인 근사 충분히 밀도 그래프의 사소한, 그리고이 있음을 알려줍니다 -approximation 알고리즘을 배제하고있다. 이 정보가 최신 정보입니까, 아니면 더 나은 범위가 있습니까?엔ϵnϵn^\epsilon

11 cc.complexity-theory  approximation-hardness  topological-graph-theory 

Courcelle의 정리에 따르면 , 모나드 2 차 논리로 정의 할 수있는 모든 그래프 속성 은 한정된 treewidth 그래프에서 선형 시간으로 결정될 수 있습니다 . 이것은 가장 잘 알려진 알고리즘 메타 정리 중 하나입니다. Courcelle의 정리에 의해 나는 다음과 같은 추측을했다. 결론 : 는 MSO가 정의 할 수있는 속성 이라고하자 . …

11 graph-theory  lo.logic  treewidth  planar-graphs  graph-minor 

이것은 순진한 질문 일지 모르지만 여기에갑니다. (편집-공감을 얻지 못했지만 아무도 대답을 제공하지 않았습니다. 아마 생각보다 어렵거나 모호하거나 불명확 한 질문일까요?) Gödel의 첫 번째 불완전 성 정리는 중지 문제의 결정 불가능성에 대한 증거로 입증 될 수 있습니다 (예 : Sipser Ch. 6; Scott Aaronson의 블로그 게시물 ). 내가 이해 한 것 …

11 lo.logic  computability  church-turing-thesis 

회로 깊이에 대해 어떤 종류의 계층 정리가 있습니까? 같은 문장 경우 와 F ( N ) ∈ N O ( 1 ) 다음 S I Z 예 D E P t H ( N O는 ( 1 ) , g ( N ) ) ⊊ S I Z를 e D …

11 cc.complexity-theory  circuit-complexity  hierarchy-theorems  circuit-depth 

격자 의 색은 함수 입니다. 세분화 직사각형 의 튜플 를 만족 -즉, 사각형의 세 모서리가 동일한 색상입니다.kkkm×nm×nm \times nC:[m]×[n]→[k]C:[m]×[n]→[k]C:[m] \times [n] \to [k]CCC(i,i′,j,j′)(i,i′,j,j′)(i,i',j,j')C(i,j)=C(i′,j)=C(i,j′)≠C(i′,j′)C(i,j)=C(i′,j)=C(i,j′)≠C(i′,j′)C(i,j) = C(i',j) = C(i,j') \ne C(i',j') 다음 질문에 관심이 있습니다. 의 함수로 , 중복 행, 중복 열 및 깨진 사각형을 피하는 (색상 그리드의 경우) 얼마나 많은 색상이 …

11 co.combinatorics 

그래프 이소 형과 같은 일부 계산 문제는 계산 상 딱딱 할 정도로 충분한 구조 또는 중복성을 갖지 않기 때문에 NP- 완료 될 수 없다고 널리 알려져있다 (NP- 하드). 나는 계산 문제의 구조와 중복 측정에 대한 다른 공식적인 개념에 관심이 있습니다. 계산 문제에 대한 공식적인 개념에 대해 알려진 주요 결과는 무엇입니까? …

11 cc.complexity-theory  graph-isomorphism 

프로그래밍 대수 이론에 대한 추상 대수의 적용이 있습니까? 언어 디자인 및 컴파일러 구현에 유용한 것이 있습니까?

11 pl.programming-languages 

일부 부정적인 사건이 어떻게 결정적으로 나쁠 수 있는지 알고 있습니다. data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ C (\x -> f (selfApp …

11 lo.logic  type-theory  soundness 

최적의 정점 커버가 알려 지도록 그래프를 생성하는 방법을 찾고 있습니다. 노드 또는 에지 수에는 제한이 없으며 그래프가 완전히 연결되어 있어야합니다. 아이디어는 최적의 정점 커버를 찾기 어려운 그래프를 생성하여 다른 휴리스틱을 테스트 할 수 있도록하는 것입니다. 나는 Arthur, J. & Frendeway, J. 알려진 최적의 여행으로 여행-판매원 문제 생성, The Journal of …

11 ds.algorithms  graph-theory  graph-algorithms