이론 컴퓨터 과학

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

1
Minkowski 합계에 따른 폐쇄.
벡터의 두 세트의 민코프 스키 합 주어진다A,B∈RdA,B∈RdA, B \in R^d A⊕B={a+b∣a∈A,b∈B}A⊕B={a+b∣a∈A,b∈B} A \oplus B = \{ a + b \mid a \in A, b \in B \} 방금 흥미로운 문제를 들었습니다 (Dan Halperin에 기인) : 모양 B가 주어지면 A \ oplus A = B 와 같은 BBB모양 A가 있습니까?AAAA⊕A=BA⊕A=BA \oplus …
1
홀로그램 알고리즘-염기의 동등성
나는 Les Valiant의 주요 논문 을 겪고 있었고 논문 10 페이지의 발의안 4.3으로 힘든 시간을 보냈습니다. 이에 대한 특정 값으로 발전기가있는 경우 경우입니다 왜 볼 수없는 기제로 , 다음 같은 일부 발전기가 존재 valG의 어떤 값을 기본 \ {(xa_1, yb_1) \ ldots (xa_r, yb_r) \} ( 1 ^ {st} 종류 …
1
어떤 머신 러닝 분류 기가 가장 병렬화 가능합니까?
어떤 머신 러닝 분류 기가 가장 병렬화 가능합니까? 분류 문제가 어렵고 시간이 제한되어 있지만 괜찮은 수준의 컴퓨터 LAN을 사용한다면 어떤 분류기를 사용 하시겠습니까? 손에 그것은 다음과 같이 스택에 대해 알고있는 일부 표준 분류 자처럼 보입니다. 그러나 완전히 잘못 될 수 있습니다. 랜덤 포레스트 (Random Forests)-각 머신이 모든 데이터를 보유 할 …
1
(유한 한) 육각형 테셀레이션의 들로네 그래프에 대한 그래프 동형을 해결하기위한 다항식 시간 알고리즘이 있습니까?
유한 평면이 주어지면 고정 크기의 일반 육각형으로 해당 평면의 육각형 테셀레이션이 있습니다. 그런 다음 테셀레이션에 대한 들로네 그래프 G를 계산합니다. 그러한 그래프 G가 주어지면, 그 그래프에서 특정 노드 집합을 삭제하여 G의 여러 하위 그래프를 생성합니다.이 하위 그래프가 동형인지 여부를 결정해야합니다. 다항식 시간 알고리즘이 있습니까? 나는 일반적인 경우에 그래프 동형을 해결하기위한 …
2
잠금없는 컬렉션에 대한 제한이 있습니까?
David Rodríguez-dribeas는 StackOverflow에 대해 "모든 컬렉션을 잠금없이 구현할 수있는 것은 아닙니다"라고 언급 했습니다. 이것이 사실인지 확실하지 않으며 어느 쪽의 증거도 찾을 수 없습니다. 이 문장은 매우 정확하지는 않지만 조금 더 공식적인 방식으로 다시 표현해 보도록하겠습니다. 모든 컬렉션 유형마다 동일한 작업 집합을 제공 C하는 잠금없는 컬렉션 유형 CLF 가 있으며 CLF …
1
쌀 정리의 설명적인 복잡한 버전을 사용하여 AC0과 PSPACE를 분리 할 수 ​​있습니까?
에서 이 질문에 , 그것은 쌀의 정리의 설명 복잡성 버전이 있다는 것을 언급했다. 나는 다음 정리의 증거를 발견했다. 복잡성 수준을 감안할 때 C 에서 언어의 사소 특성 C가 계산 될 수없는 C 나는 이전에 내가 찾은 증거를 게시했지만, 너무 길었고이 논문이 이미 그 정리에 대한 증거를 포함하고 있다는 의견에서 지적 …
2
기능적 사전 데이터 구조를 어떻게 선택합니까?
다음 데이터 구조에 대해 조금 읽었습니다. 백웰의 이상적인 해시 시도 라슨의 동적 해시 테이블 레드 블랙 나무 패트리샤 나무 ... 그리고 거기 에 다른 많은 사람들 이 있다고 확신 합니다. 나는 각각에 더 적합한 방식 또는 왜 서로를 선택해야 하는지를 거의 보지 못했습니다. 따라서 다음과 같은 몇 가지 질문이 있습니다. …
2
암호화의 기초에 대한 동기 부여 이야기
이 질문은 고교생을위한 영감을주는 대화 와 같은 맥락에 있습니다. 박사 고문은 새 M.Sc에 영감을주는 이야기 를 해달라고 요청했습니다 . 재학생. 주제는 암호화의 기초이며 Goldreich의 책에서 가장 잘 설명됩니다 . 대화는 약 1 시간이 걸리며, 학생들에게 주요 구성 (일방 함수 / 순열, 의사 난수 생성기, 무 지식 증명, 암호화 / 서명 …
3
결정론과 비결정론을 연구하기 위해 더 큰 클래스를 사용하지 않는 이유는 무엇입니까?
시간 계층 구조에 대한 이전 질문에서 두 클래스 사이의 동등성이 더 복잡한 클래스로 전파되고 불평등은 덜 복잡한 클래스로 전파 될 수 있으며 패딩을 사용하는 인수가 있습니다. 따라서 질문이 떠 오릅니다. 가능한 가장 작은 클래스에서 다른 유형의 계산 (또는 리소스)에 대한 질문을하는 이유는 무엇입니까? 대부분의 연구자들은 라고 믿는다 . 이 클래스의 …
1
도메인 이론에서, 미터법 공간에 존재하는 추가 구조는 무엇을 위해 사용될 수 있습니까?
컴퓨터 과학 및 기타 참고 자료의 핸드북에있는 Smyth의 장에서는 메트릭 공간을 도메인으로 사용하는 방법을 설명합니다. 완전한 미터법 공간이 고유 한 고정 점을 제공한다는 것을 이해하지만 메트릭 공간이 중요한 이유를 이해하지 못합니다. 다음 질문에 대한 의견을 보내 주셔서 감사합니다. 의미론에서 (울트라 / 쿼시 / 의사) 메트릭 공간을 사용하는 좋은 예는 무엇입니까? …
2
주목할만한 정규 표현 오토마타의 분류
특정 도메인에서 복잡도 속성에 대한 경험적 테스트를 수행하기 위해 정규 표현식을 오토마타로 변환하는 알고리즘 분류법을 작성하려고합니다. 나는 몇 가지 '더 큰'이름을 알고 있습니다. 톰슨 "정규 표현식 검색 알고리즘", 1968 년 톰슨 글루시 코프 "정규 표현식을 오토 마톤으로 변환하는 새로운 이차 알고리즘", Ponty 등. 알, 1996 안티 미 로프 "정규 표현과 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.