이론 컴퓨터 과학

우리는 0-1 행렬 순위의 로그가 결정 론적 통신 복잡성의 하한이고, 대략적인 순위의 로그가 무작위 통신 복잡성의 하한이라는 것을 알고 있습니다. 결정적 의사 소통 복잡성과 무작위 화 된 의사 소통 복잡성의 가장 큰 격차는 기하 급수적입니다. 부울 행렬의 순위와 대략적인 순위 사이의 간격은 어떻습니까?

10 co.combinatorics  linear-algebra  matrices  communication-complexity  boolean-matrix 

"컴퓨팅으로 해결할 수있는 문제"에 답하기 위해 계산 성 이론을 개발했습니다. 계산 가능한 문제들에 대해, "내가 가장 간단한 프로그램을 얻는가?"라는 질문에 대한 이론이 있습니까? 나는 계산의 복잡성이 질문에 대답하지 않는다고 생각합니다. 우리가 필요한 시간을 고려한다고 생각합니다 (추상적으로 측정되지만). 알고리즘 정보 이론이 질문에 대답하는지 확실하지 않습니다. 이론은 크기에 대해 이야기하는 것처럼 보입니다. …

10 big-picture  kolmogorov-complexity 

일반 그래프에서 도미 네이션 세트 문제를 고려하고 그래프의 정점 수로 둡니다 . 욕심 근사 알고리즘은 요소의 근사 보증 제공 1 + 로그 N 즉,이 솔루션은 다항식 시간에 찾을 수있어, S 등이 | S | ≤ ( 1 + log n ) o p t , 여기서 o p t 는 …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness 

스팬 프로그램은 여기에 소개 된 부울 함수를 지정하는 선형 대수 방식입니다 . 최근에,이 모델은 부정적인 대적 방법 이 양자 쿼리 복잡성 의 엄격한 특성화 (적어도 까지)를 제공한다는 것을 보여주기 위해 사용 되었습니다 .logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n 스팬 프로그램을 양자 쿼리 복잡성에 연결하는 복잡성 측정은 감시 크기입니다. 이 방법은 인증서 …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

를 노드 및 모서리 가있는 연결된 그래프 라고 합시다 . 하자 그래프 (정수) 중량 나타내고 함께 그래프의 총 중량. 노드 당 평균 가중치는 입니다. 하자 나타낸다 노드의 편차 평균에서. 우리는불균형 노드의 .GGGG=(V,E)G=(V,E)G = (V,E)V=1…nV=1…nV = 1 \dots nEEEwiwiw_iGGG∑iwi=m∑iwi=m\sum_i w_i = mw¯=m/nw¯=m/n\bar w = m/nei=wi−w¯ei=wi−w¯e_i = w_i - \bar wiii|ei||ei||e_i|iii 인접한 …

10 graph-theory  co.combinatorics  spectral-graph-theory 

이 게시물과 관련이 있습니다 : /mathpro/59631/lovasz-theta-function-and-independence-number-of-product-of-simple-odd-cycles Lovasz는 일반 그래프의 제로 오류 용량과 얼마나 멀리 떨어져 있습니까? Lovasz 경계가 정규 그래프의 제로 오류 용량과 동일하지 않은 것으로 알려진 예가 있습니까? (Oleksandr Bondarenko가 아래에 답변했습니다.) 특히 이상의 크면의 홀수 사이클에 대해 알려진 모든 불평등이 있습니까?777 업데이트 간격이 존재하는 경우 Shannon 용량과 Lovasz …

10 graph-theory  it.information-theory 

간단히 말해서 시간 계층 정리 는 Turing 머신이 계산 시간이 더 있으면 더 많은 문제를 해결할 수 있다고 말합니다. 결정적 TM과 시간 constructable 기능 상세히 와 F ( N ) 로그 F ( N ) = O ( g ( N ) ) 는 인 D T I M E …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

우리는 분산 컴퓨터에서 일하고 있으며 복잡한 경로 문제를 해결하여 최소한의 경로를 다루는 문제를 줄였습니다. 현재 해결 방법을 모릅니다. 문제는 다음과 같습니다. 하자 어떤 정수 및하자 Z의 k는 그래프 함유 수 K ( K + 1 )케이kk지케이ZkZ_k정점 2 개 각 정점에1≤i≤j≤k가되도록커플(i,j)로레이블을 지정합니다. 이후에는 레이블을 사용하여 정점의 이름을 지정합니다. Zk의 모서리 세트는다음과 …

10 graph-theory  co.combinatorics  application-of-theory 

문맥없는 언어로 하자 . 정의 P의 P의 C ( L를 ) 의 프리 및 포스트 픽스 폐쇄 될 L 즉, P에서 P의 C ( L은 ) 모두 포함 L 프리픽스 및 포스트 픽스, 따라서 S ' L 자체. 내 질문 : L 에 컨텍스트가없고 모호하지 않은 문법이 있다면 p p …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

최대 컷을 근사화하기위한 Goemans 및 Williamson 알고리즘을 적용한 결과가 0.878… 이러한 인스턴스를 생성하는 알고리즘은 완벽하고 명시적인 예제와 참조가 만족 스럽습니다.

10 ds.algorithms  approximation-algorithms  max-cut  hard-instances 

나는 임의의 구성보다 나은 복잡성 이론의 구성 예에 관심이 있습니다. 내가 아는 그러한 구성의 유일한 예는 오류 수정 코드 분야입니다. 대수 기하학 코드는 임의의 코드보다 일부 범위의 매개 변수에서 더 좋습니다. 그러한 인공적인 예를 쉽게 구성 할 수 있습니다. 대수 기하학 코드와 같은 예제에 관심이 있습니다. 여기서 무작위 구성을 쉽게 …

10 reference-request  big-list  derandomization  pr.probability 

결합 론과 컴퓨터 과학에는 그래프 이론적 문제를 분석 할 수있는 많은 예가 있지만 문제의 초고도 아날로그의 경우 도구가 부족합니다. 왜 2-uniform 그래프보다 3-uniform 하이퍼 그래프보다 문제가 훨씬 더 어려워 진다고 생각합니까? 근본 어려움은 무엇입니까? 한 가지 문제는 아직까지도 우리가 스펙트럼 자서전 이론에 대한 충분한 이해를 가지고 있지 않다는 것입니다. 이 …

10 graph-theory  co.combinatorics  hypergraphs 

MCTS / UCT 는 적기 알고리즘을 사용하여 탐색 할 유망한 노드를 선택하는 게임 트리 검색 방법입니다. 게임은 무작위로 완료되며 더 많은 승리로 이어지는 노드가 더 많이 탐색됩니다. 적기 알고리즘은 승률이 높은 노드 탐색과 알 수없는 노드 탐색 사이의 균형을 유지합니다 (순수한 형식에서는 반드시 휴리스틱 평가 기능을 사용하지는 않습니다). 이 일반적인 …

10 optimization  ai.artificial-intel  board-games 

나는 매우 흥미롭고 여전히 열린 질문 " 단일 테이프 Turing machine의 알파벳 "(Emanuele Viola) 을 가지고 놀고 있었고 다음 언어를 생각해 냈습니다. L = { x ∈ { 0 , 1 }엔 성 | x | = n = 2미디엄 그리고 c o u n t 1 ( x ) …

10 cc.complexity-theory  turing-machines  time-complexity 

증명자가 HORN-SAT 표현이 만족 스럽다는 것을 검증 자에게 확신시킬 수있는 방법이 있습니까? HORN-SAT에 대한 선형 시간 알고리즘이 있기 때문에 물론 이것은 어리석은 것처럼 보일 수 있습니다. 반면, HORN-SAT는 P- 완료이므로 P = L이 아니면 로그 공간 알고리즘이 없습니다. 따라서 검증기의 계산 능력을 L로 제한하십시오. 이제 검증기는 매우 미약하므로 문제는 더 …

10 cc.complexity-theory  interactive-proofs  zero-knowledge