이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

3
어떤 Integer Linear 프로그램이 쉬운가요?
문제를 해결하려고 노력하면서 결국 그 부분을 다음 정수 선형 프로그램으로 표현했습니다. 여기서 는 모두 다음과 같이 주어진 양의 정수입니다. 입력의 일부. 변수 의 지정된 서브 세트는 0으로 설정되며 나머지는 양의 정수 값을 취할 수 있습니다.x i jℓ , m , n1, n2, … , nℓ, c1, c2, … , c미디엄, …
4
카운팅 및 조합의 Pfaffian 방법에 관하여
최근에는 홀로그램 알고리즘에 대해 소개했습니다. 나는 Pfaffians라는 조합 개체를 발견했습니다. 나는 현재 그 사람들에 대해 많이 알지 못하고 그들이 사용할 수있는 놀라운 용도를 발견했습니다. 예를 들어 평면 그래프에서 완벽하게 일치하는 수를 효율적으로 계산하는 데 사용할 수 있다는 것을 알게되었습니다. 또한 2 * 1 타일을 사용하여 체스 판의 가능한 타일 수를 …
1
세트 모음에 대한 램지의 정리
분산 알고리즘에 대한 하한을 증명하는 다른 기술을 탐색하는 동안 다음과 같은 Ramsey 정리의 변형이 적용 될 수 있습니다. 매개 변수 : , K , n 이 주어진 다음 N 이 충분히 크게 선택됩니다. 용어 : m- 서브 세트는 m 크기의 서브 세트입니다 .케이kk케이KK엔nn엔NN미디엄mm미디엄mm 하자 . . . , N } …
3
해밀턴 사이클이 쉽지만 NP-hard TSP가있는 그래프 클래스
해밀턴 사이클 문제 (HC) 지정된 무향 그래프의 모든 정점을 통과 사이클을 찾는 구성되어 있습니다. 세일즈맨 문제 (TSP)는 사이클의 에지의 가중치의 합에 의해 측정되는 총 거리를 소정의 에지 가중 그래프의 모든 정점을 통과하고 최소화하는 사이클을 찾는 것으로 이루어진다. HC는 TSP의 특별한 경우이며 NP- 완전한 것으로 알려져있다 [Garey & Johnson]. (이러한 문제에 …
2
L은 회로 측면에서 정의가 있습니까?
튜링 머신으로 정의 된 많은 복잡한 클래스는 균일 한 회로에 대한 정의를 가지고 있습니다. 예를 들어, P는 또한 균일 다항식 회로를 사용하여 정의 될 수 있고, 마찬가지로 BPP, NP, BQP 등은 균일 한 회로로 정의 될 수있다. L의 회로 기반 정의가 있습니까? 명백한 아이디어는 깊이 제한이있는 다항식 크기 ​​회로를 허용하는 …
1
행렬 곱셈
내가 행렬 곱셈, 그래서 첫 번째 방문에 대해들을 검색 한 위키 행렬 곱셈 알고리즘, 참고 문헌에서 나는 제 사용의 것을 종이 발견 알고리즘 , 나는 기사를 읽을려고했던이 있지만 복잡하고 것 읽는 데 너무 많은 시간이 걸리지 만이 기사를 읽거나이 알고리즘에 대해 아는 사람이 있다면 사실입니까? 이것을 설명하기위한 기본 아이디어에 대해 …
3
통계 쿼리 모델 알고리즘?
교차 검증 된 Q & A 로이 질문 을했지만 통계보다 CS와 관련이있는 것 같습니다. 당신이 날은 개별 관찰 자체가 고용 IE가 아닌 데이터 세트의 통계적 특성을 배울 기계 학습 알고리즘의 예 줄 수 통계 쿼리 모델을 ?
2
산술 회로의 다중 선형화 평가?
하자 p ( x1, … , x엔)p(x1,…,xn)p(x_1,\ldots,x_n) 필드 위에 계수 다 (多) 변수 다항식 에프FF . 의 multilinearization 피pp 붙이고, p는 반복적으로 각각 대체의 결과 X는 거라고 I를 가진 D > 1 에 의한 X 나 . 결과는 분명히 다중 선형 다항식입니다.피^p^\hat{p}엑스디나는xidx_i^d디> 1d>1d > 1엑스나는xix_i 다음과 같은 문제를 고려 연산 …
5
크래시 또는 비잔틴이 아닌 분산 컴퓨팅의 프로세서 오류
분산 컴퓨팅 모델에는 두 가지 주요 유형의 프로세서 장애가 있습니다. (1) 충돌 실패 : 프로세서가 중지되고 다시 시작되지 않습니다. (2) 비잔틴 장애 : 프로세서가 악의적으로 악의적으로 행동합니다. 내 질문은 : 크래시 또는 비잔틴 오류를 줄이지 않는 다른 유형의 프로세서 오류는 무엇입니까? 또한 더 구체적인 질문 : 어떤 가능성으로 프로세스가 시간 …
2
프로세스가 다른 프로세스를 생성 할 때
저의 배경은 복잡도 이론 / 논리 (대부분의 프로세스가 하나만있는 경우)와 분산 컴퓨팅 ( 프로세스가 있고 시간이 지남에 따라 하나 이상의 오류가 발생할 수 있음)입니다. 그러나 이제는 프로세스 생성 / 생성 / 다른 프로세스 분리에 대해 이야기하고 싶습니다. 병렬 컴퓨팅, 운영 체제 등에서이를 설명하는 엄격한 방법이 있습니까?엔nn 자극: 분자 상호 작용의 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.