FOCS2013의 최근 논문 인 Gaspers 와 Szeider의 Bounded Treewidth SAT 에 대한 강력한 백도어 는 SAT 절 그래프 의 트리 폭 과 인스턴스 경도 간의 연결에 대해 설명합니다 . 랜덤 3-SAT, 즉 랜덤으로 선택된 3-SAT 인스턴스의 경우 절 그래프의 트리 폭과 인스턴스 경도 사이의 상관 관계는 무엇입니까? "인스턴스 경도"는 "일반적인 …
우선, 고델의 불완전 성 정리 (및 공식적인 논리)에 대한 나의 이해는 매우 순진하며 이론적 컴퓨터 과학에 대한 나의 지식이기도합니다 (여전히 학부 과정 중 하나의 대학원 과정 만 이수했음을 의미 함). 매우 순진합니다. 내가 알 수있는 한 P 대 NP의 가능성은 공개적인 문제입니다. 지금: 괴델의 첫 번째 불완전 성 정리에 따르면 …
이 문제는 전에 연구 되었습니까? 메트릭 무 방향 그래프 G (가장자리 길이가 삼각형 부등식을 만족함)가 주어지면 MST (G [S])가 최대화되도록 정점 세트 S를 찾으십시오. 여기서 MST (G [S])는 S.이 문제는 이전에 연구 된 적이 있습니까? NP- 하드입니까? 고마워
32 백만 개의 32 비트 값이 있습니다. 각 값에 대해 해밍 거리 5 내에서 다른 모든 값을 찾고 싶습니다. 순진한 접근 방식에서는 피하고 싶은 비교 가 필요합니다 .O(N2)O(N2)O(N^2) 이 32 비트 값을 정수로 처리하고 목록을 한 번 정렬하면 가장 중요하지 않은 비트에서만 다른 값이 매우 가깝게 끝났다는 것을 깨달았습니다. 이를 …
문제에 대한 효율적인 알고리즘을 찾고 있습니다. 입력 : 일부 정수 n ≥ 0에 대한 양의 정수 3n3n3^n (비트로 저장 됨) .n≥0n≥0n \geq 0 출력 : 숫자 nnn . 질문 : 우리가 계산할 수 nnn 의 비트에서 3n3n3^n 에서 O(n)O(n)O(n) 시간은? 이것은 수학에 대한 나의 대답 에 의해 동기 부여 된 …
이것은 매우 간단한 질문 일 수 있습니다. 그러나 유형과 정렬의 차이점은 무엇입니까? 내 현재 이해는 잘 형식화 된 문장의 개념을 제공하는 형식 규칙이있는 형식 이론을 가지고 있지만 정렬은 더 기본적이며 기호를 다른 종류 의 기호 로 차별화 하고 함수 응용 프로그램 등에 대한 기본 규칙을 도입하는 것입니다. 아마도 약간의 차이가있을 …
리콜 직경이 그래프의 있는 긴 최단 경로의 길이 . 그래프가 주어지면, 계산을위한 명백한 알고리즘 은 모든 쌍 최단 경로 문제 (APSP)를 해결하고 발견 된 최장 경로의 길이를 반환합니다.GGGGGGdiam(G)diam(G)\text{diam}(G) APSP 문제는 여러 그래프 클래스에 대해 최적의 시간 으로 해결 될 수있는 것으로 알려져 있습니다. 일반 그래프의 경우, 시간에 실행되는 대수 그래프 …
나는 튜링 머신이 충분히 일반적인 컴퓨팅 모델임을 학생들에게 '설득'시키는 데 도움이되는 작은 언어를 찾고 있습니다. 즉, 익숙한 언어와 비슷하지만 튜링 머신에서 시뮬레이션하기 쉬운 언어입니다. Papadimitriou는이 작업에 RAM 기계를 사용하지만 이상한 기계 (튜링 기계)를 다른 이상한 물체 (기본적으로 어셈블리 언어)와 비교하는 것이 많은 학생들에게 너무 설득력이 없을 것 같습니다. 모든 제안은 …
경험상 TCS 논문에서 저자는 알파벳 순서로 정렬되지만, 주목할만한 반례가 몇 가지 있는데, 여기서 저자는 다른 방식으로 정렬됩니다. 대화 형 증명 시스템을위한 대수적 방법 [Lund, Fortnow, Karloff, Nisan] 디지털 서명 및 공개 키 암호화 시스템을 얻는 방법 [Rivest, Shamir, Adleman] 지수 시간이 필요한 단어 문제 [Stockmeyer, Meyer] 이 논문에서 특이한 저자의 …
이것은 이전 질문에 대한 후속 조치입니다. NP의 자연 문제에 대해 가장 잘 알려진 결정 론적 시간 복잡성 하한 사람들이 관심을 갖고 더 나은 알고리즘을 설계하려고 시도하는 흥미로운 NP 문제에 대해 2 차 결정 론적 시간 하한을 입증 할 수 없었습니다. Exponential Time Hypothesis 추측에 따르면 SAT는 지수 미만의 결정적 시간으로 …
이 문제에 대해 더 많이 알아 내기 어려운 점 중 하나는 그래프 매칭 문제가 훨씬 더 유명한 사촌 인 매칭 문제와 다르지만 검색 엔진을 사용할 때 구별하기 어렵다는 것입니다. 주어 두 그래프 및 이되도록이 과제는 가능한 한 와 가장자리 사이에 많은 대응 관계를 설정 하도록 bijection 를 찾는 것 입니다.G=(V,E)G=(V,E)G=(V,E)G′=(V′,E′)G′=(V′,E′)G'=(V',E')|V|=|V′||V|=|V′||V| …
행렬식과 행렬 곱셈의 알고리즘 복잡성과 회로 복잡성 사이의 관계를 이해하려고합니다. 은의 행렬식 것이 알려져 행렬 일 수 계산 에 의 시간, 최소 시간은 임의의 두 개의 곱 데 필요한 행렬. 행렬식의 최고의 회로 복잡도는 깊이 에서 다항식 이고 깊이 3에서는 지수임이 알려져 있습니다. 그러나 상수 깊이에 대한 행렬 곱셈의 회로 …