이론 컴퓨터 과학

이분 그래프에서 완전 매칭의 수를 세는 것은 영구적을 계산하는 데 즉시 환원 될 수 있습니다. 이분자가 아닌 그래프에서 완벽하게 일치하는 것을 찾는 것은 NP에 있기 때문에,이 분이 아닌 그래프에서 영구적으로 약간의 감소가 있지만, Cook의 SAT 감소를 사용하여 불완전한 다항식 파열이 발생할 수 있습니다. 퍼머넌트. 비 이중 그래프 에서 행렬 효율적이고 …

24 graph-theory  counting-complexity  reductions  permanent 

H에서 그 자체로의 동질성이 bijection이면 그래프 H는 핵심입니다. H가 핵심이고 G에서 H로 동질성이있는 경우 G의 하위 그래프 H는 G의 핵심입니다 . 그래프 G가 주어지면 핵심을 찾는 가장 알려진 정확한 알고리즘은 무엇입니까?

24 ds.algorithms  graph-theory  graph-algorithms 

곱셈 오류의 맥락에서 NP-hard 문제에 대해 알려진 근사 결과의 경도를 설정하는 풍부한 문헌과 최소한 하나의 훌륭한 책이 있습니다 (예 : UGC를 가정하면 정점 표지에 대한 2 근사가 최적입니다). 여기에는 APX, PTAS 등과 같은 잘 알려진 근사 복잡성 클래스도 포함됩니다. 가산 오차를 고려할 때 알려진 것은 무엇입니까? 문헌 검색에서 빈 포장에 …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

얽힘은 종종 양자 알고리즘을 양자를 만드는 핵심 요소로 유지합니다. 이것은 양자 상태 물리학의 개념을 숨겨진 상태 확률 모델로 파괴하는 Bell 상태로 거슬러 올라갑니다. 양자 정보 이론 (내 다소 약한 이해에서)에서 얽힘은 특정 종류의 코딩을 수행하는 능력을 제한하는 구체적인 자원으로도 사용될 수 있습니다. 그러나 다른 대화 (최근에 양자 방법으로 일하는 물리학 …

24 quantum-computing  big-picture 

평면형 (Garey, Johnson, Tarjan, SIAM J. Comput. 1976) 또는이 분식 (Nishizeki, Akiyama, 및 Saito, J. Inform. Proc. 1980) 또는 Hamilton 곡선이 Jordan 곡선의 배열에 의해 형성된 그래프 일지라도 4 규칙 그래프에 존재하는지 테스트합니다 (Iwamoto and Toussaint, IPL 1994). k- 정규 그래프의 해밀 성을 테스트하기 위해 NP- 완전한 것으로 알려진 다른 …

24 graph-theory  np-hardness  hamiltonian-paths 

합리적으로 작업 효율을 유지하면서 업데이트를 위해 비슷하거나 끔찍하게 나쁜 속성을 가진 빨강-검은 나무와 자연스럽게 평행 한 아날로그가 있습니까? 보다 일반적으로 업데이트를 통한 병렬 검색에 가장 적합한 방법은 무엇입니까?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

매우 구체적인 질문입니다, 저는 알고 있습니다. 그리고 이미 Magic 규칙에 익숙하지 않은 사람이 그 질문에 대답 할 것 같지는 않습니다. Draw3Cards에 교차 게시 . 다음은 Magic : The Gathering 게임에 대한 포괄적 인 규칙입니다 . 모든 매직 카드 목록을 보려면 이 질문 을 참조하십시오 . 내 질문은-튜링 완료 게임입니까? 자세한 …

24 turing-machines  card-games  recreational 

"우수"하고 "공간 효율적"인 불균형 확장기를 찾고 있습니다. 구체적으로, 이분 된 좌-정규 그래프 , , , 좌도 는 확장기 최대 크기 의 구별 이웃의 수 에G=(A,B,E)G=(A,B,E)G=(A,B,E)|A|=n|A|=n|A|=n|B|=m|B|=m|B|=mddd(k,ϵ)(k,ϵ)(k,\epsilon)S⊂AS⊂AS \subset AkkkSSS 최소 인 ( 1 - ε ) D | S | . 확률 적 방법은 d = O ( log ( n /BBB(1−ϵ)d|S|(1−ϵ)d|S|(1-\epsilon)d|S| …

24 graph-theory  derandomization  expanders 

허용되는 단어 (알파벳순으로 정렬 된)와 단어로 구성된 거대한 데이터베이스가 제공되면 Levenshtein 거리 측면에서 주어진 단어와 가장 가까운 데이터베이스에서 단어를 찾으십시오. 물론 순진한 접근 방식은 주어진 단어와 사전의 모든 단어 사이의 레 벤슈 테인 거리를 간단히 계산하는 것입니다 (실제로 거리를 계산하기 전에 데이터베이스에서 이진 검색을 수행 할 수 있음). 이 문제에 …

24 ds.algorithms  reference-request  string-matching  string-search 

완전히 학업을 마치고 박사 / 석사 후 과정을 받거나 소프트웨어 개발에서 다소 '표준적인'직업을 찾는 것 외에, 이론적 또는 전체 이론적 CS 분야의 다른 직업 옵션은 무엇입니까?

24 soft-question  advice-request  career 

NP \ cap coNP 에서 완전한 문제가 발생하면 어떤 결과가 발생 엔피∩ c o N피NP∩coNPNP\cap coNP합니까?

24 cc.complexity-theory  conditional-results 

Wikipedia는 두 번째 사전 이미지 공격 을 다음과 같이 정의합니다 . 고정 메시지 m1이 주어지면 hash (m2) = hash (m1)와 같은 다른 메시지 m2를 찾으십시오. Wikipedia는 충돌 공격 을 다음과 같이 정의합니다 . hash (m1) = hash (m2)가되도록 두 개의 임의의 다른 메시지 m1 및 m2를 찾으십시오. 내가 볼 수있는 …

24 cr.crypto-security  hash-function 

알고리즘이 예상 실행 시간이 다항식이라는 것으로 알려진 NP- 완전 문제가 있습니까 (인스턴스에 대한 합리적인 분포의 경우)? 그렇지 않다면, 그러한 알고리즘의 존재가 확립 된 문제점이 있습니까? 아니면 그러한 알고리즘의 존재가 결정적 다항식 시간 알고리즘의 존재를 의미합니까?

24 cc.complexity-theory  np-hardness 

결정 론적 로그 스페이스 ( LLL ) 에서 결정 가능한 모든 문제 는 최대 다항식 시간 ( PPP )으로 진행 된다는 것이 분명합니다 . LLL 과 사이에는 복잡한 클래스가 많이 PPP있습니다. 예로는 NLNLNL , LogCFLLogCFLLogCFL , NCiNCiNC^i , SACiSACiSAC^i , C I , S C 나이 . L ≠ P …

24 cc.complexity-theory  lower-bounds  space-bounded 

앞으로 30 년 후에 미래를 보자. 머신 러닝과 관련된 영역이 지난 10 년 동안 본 것만 큼 빠르게 발전한다고 가정 해 봅시다. 그것은 좋을 것이지만, 그런 미래에 전통적인 알고리즘의 역할은 무엇입니까? 여기서는 "전통적인 알고리즘"으로 TCS에서 수행하는 일반적인 프로세스 인 잘 정의 된 계산 문제를 공식화하고 문제 를 해결하기위한 알고리즘을 설계하며 …

23 ds.algorithms  soft-question  machine-learning