이론 컴퓨터 과학

통일 알고리즘 과 가우시안 제거 간의 연결을 정확하게 설명하는 참조를 아는 사람이 있습니까? 특히 삼각 치환 과 LU 분해 의 관계에 관심이 있습니다. 웨인 스나이더와 장 갈리에 (Jean Snyder)와 장 갈리에 (Jean Gallier)는 그들의 논문, 고차원 통일 재검토 : 완전한 변형 세트 에서이 비유를 언급했다 .

22 reference-request  lo.logic 

연결된 그래프에서 통근 시간 는 노드 j 를 방문한 다음 노드 i 에 다시 도달 하기 전에 i 에서 시작하는 랜덤 워크의 예상 단계 수로 정의됩니다 . 기본적으로 두 번 치는 시간 H ( i , j ) 와 H ( j , i )의 합 입니다.G = ( V, …

22 graph-theory  co.combinatorics  random-walks  pr.probability 

비율이 알고리즘에 대한 간결한 소개 텍스트를 찾고처음부터 시작해야하지만 실제 사례, 초등 증명 기술 등에 너무 많은 시간을 들이지 않고 빠르게 진행해야합니다. 연구 수학자로서 저는 예를 들어 형식주의와 요약 된 증거를 이해하기 위해 행복하게 사용하는 수학에 대한 탄탄한 배경을 가지고 있습니다. .theory coveredtotal number of pages.theory coveredtotal number of pages.\frac{\mbox{theory covered}}{\mbox{total …

22 ds.algorithms 

비정규 LR 파싱으로 땜질 할 때 시간 에 모호하지 않은 문법을 정확하게 파싱 할 수 있는 파싱 방법 (무한한 크기의 테이블을 사용하여 다소 실용적이지 않음)을 생각해 보았습니다. 보다 나은:O ( n2)영형(엔2)O(n^2) 모든 모호하지 않은 문법을 선형 시간으로 구문 분석 할 수 있습니까? 나는 이것이 사실이라면 어딘가를 읽었을 것이라고 확신하지만 인터넷을 …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

독특한 게임 추측에 의존하는 많은 근사한 결과가 있습니다. 예를 들어 고유 한 게임 추측을 가정하면 상수 R > R GW에 대해 인수 R 내에서 최대 컷 문제를 근사하는 것은 NP-hard 입니다. (여기서 R GW = 0.878…은 Goemans–Williamson 알고리즘의 근사 비율입니다.) 그러나 일부 사람들은“ UG-hard ” 라는 용어를 다음과 같이 사용하는 …

22 cc.complexity-theory  approximation-hardness  unique-games-conjecture 

비 종료 계산을 허용하지 않기 때문에 Coq는 반드시 Turing-complete가 아닙니다. Coq가 계산할 수있는 함수 클래스는 무엇입니까? (재미있는 흥미로운 특징이 있습니까?)

22 computability  pl.programming-languages  coq 

에 대한 우리의 지식의 상태 일반적인 연산 회로 , 즉 우리가 좋은 낮은 경계가없는 부울 회로에 대한 우리의 지식의 상태와 비슷한 것 같다. 반면에 우리는 모노톤 부울 회로에 대한 지수 크기 하한을 가지고 있습니다 . 모노톤 산술 회로 에 대해 무엇을 알고 있습니까? 우리는 그들과 비슷한 좋은 하한을 가지고 있습니까? …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

타워 방어 게임에는 시작, 마무리 및 여러 벽이있는 NxM 그리드가 있습니다. 적들은 벽을 통과하지 않고 처음부터 끝까지 가장 짧은 경로를 취합니다 (일반적으로 그리드에 구속되지는 않지만 단순성을 위해 말 그대로 대각선 "구멍"을 통해 이동할 수 없습니다) 문제 (적어도이 질문에 대한)을 배치하는 것 까지 완전히 마무리에서 시작을 차단하지 않고, 적을 가지고 가야 …

22 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms 

이것은 알고리즘을 얼마나 효과적으로 표현할 수 있는지에 관한 것입니다. 학부 교육을 위해서는 이것이 필요합니다. 의사 코드를 작성하는 표준 방법과 같은 것은 없다는 것을 알고 있습니다. 다른 저자들은 다른 규칙을 따릅니다. 여기 사람들이 지적하고 따르고 최선의 방법을 생각하면 도움이 될 것입니다. 이것에 대해 자세히 다루는 책이 있습니까?

22 ds.algorithms  soft-question  advice-request  writing 

Peter Shor 의 답변 과 Adam Crume 의 이전 질문을 읽는 동안 나는 피P\mathsf{P} hard의 의미에 대해 약간의 오해가 있음을 깨달았습니다 . 문제는 피P\mathsf{P} 어떤 문제가있는 경우 -hard 피P\mathsf{P} 와 그것에 환원이다 엘L\mathsf{L} (또는 당신이 선호하는 경우 N CNC\mathsf{NC} ) 감소. 다항식 시간 알고리즘이 없으면 문제가 외부에 피P\mathsf{P}있습니다. 이것은 외부에 …

22 cc.complexity-theory  complexity-classes 

나는 주어진 비 단순 다각형인지 여부 결정의 복잡성에 관심이 거의 두 개의 서로 다른 형식적인 감각 중 하나에, 간단한 : 약하게 단순 또는 비 자기 횡단 . 이러한 용어는 널리 알려지지 않았으므로 몇 가지 정의부터 시작하겠습니다. 다각형 어떤 한정된 서열 연결 선분의 폐쇄 사이클 평면의 포인트. 점 다각형 의 꼭짓점 …

22 ds.algorithms  cg.comp-geom  polygon 

유명한 Yao의 Minimax 원리 는 분포 복잡성과 무작위 복잡성 사이의 관계를 나타냅니다. 하자 유한 집합에 문제가 의 입력과 유한 집합 해결하는 결정적 알고리즘의 . 또한 은 입력 분포를 나타내고 은 의 확률 분포를 나타냅니다 . 그러면 원리는 피PP엑스X\mathcal{X}에이A\mathcal{A}피PP디D\mathcal{D}분 A ∈ A아르 자형R\mathcal{R}에이A\mathcal{A}분A ∈ AE cost(A, D )≤ 최대x ∈ XE …

22 randomized-algorithms 

텐서 벡터 및 높은 치수 및 행렬의 일반화 순위 텐서의도 행렬의 랭크를 일반화한다. 즉, 텐서의 랭크 계수의 최소 하나의 텐서로 합, 즉 . 벡터와 행렬은 각각 차수 1과 2의 텐서입니다.TTTTTTT 의 요소는 필드에서옵니다 . 경우 유한하고 Håstad은 입증 정도 3 텐서의 순위가 가장에 있는지 결정하는 것을 NP 완전하지만 때 유리수 …

22 ds.algorithms  reference-request  computability  tensor-rank 

이 질문을 이해하기 위해 어떤 논문을 읽어야하는지 궁금했습니다. 대수 기하학 또는 더 높은 상동 성과 같은 다른 수학 영역과의 예기치 않은 연결. 아마도 아직 수학 영역이 발달하지 않았을 수도 있습니다. 아마도 P 대 NP 문제를 다루기 위해 누군가 수학에 대한 완전히 새로운 방향을 개발할 것입니다. -부터 Fortnow 2002 이 질문의 …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

2002 년 과학 논문에서 Mezard, Parisi 및 Zecchina는 임의의 3SAT에 대한 신념 전파 휴리스틱을 제시했습니다 . 실험은 휴리스틱이 만족스러운 할당이 존재할 가능성이있는 변수 당 제약의 비율에 대해 잘 작동 함을 나타냅니다. 내 질문은 : (1) 랜덤 3SAT 대신 랜덤 3LIN을 고려하면 어떻게됩니까? (각 제약 조건은 GF (2)에 대한 임의의 선형 …

22 ds.algorithms  randomness  linear-equations