전형적인 퀸즈 문제는 양의 정수 n이 주어지면 다음 조건을 만족하는 정수 배열 Q [ 1 .. n ] 가 있는지 묻습니다 .엔nn엔nnQ [ 1 .. n ]Q[1..n]Q[1..n] 모든 i에 대해 1 ≤ Q [ i ] ≤ n1≤Q[i]≤n1≤Q[i]≤n1\le Q[i] \le niii 모든 i ≠ j에 대해 Q [ i ] …
나는 이 논문 이 매우 흥미로웠다는 것을 알았다 . 요약하자면, 실제로 NP 완료 문제가 최악 인 경우는 거의 없습니다. 이 기사의 개념은 인스턴스가 일반적으로 매우 부족하거나 지나치게 제한되어 있으며, 둘 다 비교적 해결하기 쉽다는 것입니다. 그런 다음 몇 가지 문제에 대해 '제약성'척도를 제안합니다. 이러한 문제는 해의 가능성이 0에서 100 %로 …
에 속하는 것으로 알려져 있지만 에 속하는 것으로 알려진 문제점은 무엇입니까 ?PBPPBPP\mathsf{BPP}PP\mathsf P 더 정확하게는, 나는 독립적 인 문제에 관심 이 있는데, 이는 무작위 화가 동등하지 않은 것으로 알려져 있습니다. 예를 들어, 무작위 화 PIT와 다변량 다항식 인수 분해는 동등한 것으로 알려져 있으며 한 가지 문제로 간주합니다. 내 질문의 동기는 …
그로 ndi 디크는 세상을 떠났습니다 . 그는 21 세기까지 계속되는 20 세기 수학에 큰 영향을 미쳤습니다. 이 질문은 Alan Turing의 컴퓨터 과학에 대한 기여 와 같은 스타일 / 정신으로 다소 묻습니다 . 이론적 컴퓨터 과학에 대한 Grothendieck 의 주요 영향 은 무엇입니까 ?
많은 사람들이 를 믿는 것으로 보입니다. (Shiva Kintali는 몇 가지 다른 후보 문제를 여기에 나열했습니다 ).피≠ N피∩ c o N피P≠NP∩coNPP \ne NP \cap coNP 반면, Grötschel, Lovász 및 Schrijver는 "많은 사람들이 라고 믿는다 "고 . 이 인용문은 Geometric Algorithms and Combinatorial Optimization 에서 찾을 수 있으며 Schrijver는 Combinatorial Optimization : …
가 채색 번호 d = χ ( G ) 인 그래프 라고 가정 합니다. Alice와 Bob의 다음 게임을 고려하십시오. 각 라운드에서 Alice는 정점을 선택하고 Bob 은이 정점에 대해 { 1 , … , d - 1 } 의 색상으로 응답 합니다. 단색 가장자리가 발견되면 게임이 종료됩니다. 하자 X ( G는 …
에있는 언어의 예가 있습니까? 그러나이 언어의 멤버십에 대한 다항식 증인이 있음을 보여줌으로써이 사실을 직접 증명할 수없는 곳은 있습니까?NPNPNP 대신, 언어가 있다는 사실은 언어를 다른 언어로 줄여서 증명할 수 있는데,이 둘 사이의 연결은 사소하지 않고 신중한 분석이 필요합니다.NPNPNPNPNPNP 더 일반적으로, 문제의 몇 가지 흥미로운 사례가 그래서 그들이에 있다고보기는 어렵다입니다 ?NPNPNPNPNPNP 반 …
나는 최근 에 계산의 두 가지 이중성 : 부정 및 분수 유형을 읽고있었습니다 . 용지의 종류 의미 부여 합계 유형 및 제품 유형 확장 a - b과 a/b. 덧셈과 곱셈과는 달리 지수, 대수 및 루팅에 대한 역수는 1이 아니라 2가됩니다. 함수 타입 (a → b)이 타입 이론 지수 인 경우, …
왜 정규 언어 (및 정규 표현식)가 "정규"라고 불리는가? 문맥이없는 언어에는 다른 유형의 언어에도 규칙 성 이 많이 있습니다. 처음에는 형용사 "정규"가 다른 "비정규"또는 다른 언어와 다른 유형의 언어를 구별하는 데 사용되었다고 가정합니다. 그렇다면 이러한 다른 유형은 무엇이며 비 규칙 성은 무엇입니까?
"복잡성 계산에서 승리를 선언 할 때입니까?" 기사를 읽는 동안 이상에서 "괴델의 분실 문자 및 P = NP" 블로그, 그들은 CSP의의 이분법을 언급했다. 인터넷 링크와 위키 핑을 따라 간 링크를 따라 Ladner Theorem을 발견했습니다 . 라드의 정리 : 만약 , 다음에 문제가있는 아닌 - 완전한은.N P ∖ P N PP ≠ …
생태와 진화에 대한 연구는 점점 더 수학적으로 발전하고 있지만 대부분의 이론적 도구는 물리학에서 나온 것 같습니다. 그러나 대부분의 경우 문제는 매우 불 연속적이며 (예 : SLBS00 참조 ) 컴퓨터 과학의 관점에서 이점을 얻을 수 있습니다 . 그러나 나는 생태와 진화에 대한 특정 질문을 다루려고하는 TCS의 심각한 결과 만 알고 있습니다. …
주어 mmm 하여 nnn 이진 행렬 MMM (항목이 000 또는 111 개의 이진 벡터가 존재하면), 문제가 결정하는 v1≠v2v1≠v2v_1 \ne v_2 되도록 Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2 (모든 작업에 걸쳐 수행 ZZ\mathbb{Z} ). 이 문제가 NP-hard입니까? 두 벡터를 증인으로 줄 수 있으므로 NP에 분명히 있습니다. 등가 : 주어 MMM , 비 - 제로 …
편집 : 2012 년 12 월 6 일까지 가장 높은 점수를받은 답변을 선택했습니다. 이것은 간단한 질문입니다. (결정 론적) 알고리즘의 개념은 BC로 거슬러 올라갑니다. 확률 알고리즘은 어떻습니까? 에서 이 위키 항목 , 계산 기하학에서 가장 가까운 쌍 문제에 대한 라빈의 알고리즘은 첫 번째 무작위 알고리즘으로 주어졌다 (년 ???). Lipton은 Rabin 알고리즘을 …