이론 컴퓨터 과학

2

Fáry의 정리에 따르면 각 모서리가 직선 선분이되도록 교차하지 않고 간단한 평면 그래프를 그릴 수 있습니다. 내 질문은 제한된 교차 숫자의 그래프에 대한 유사한 정리가 있는지 여부 입니다. 구체적으로, 우리는 교차 숫자 k를 가진 간단한 그래프를 그려서 그림에 k 교차가 있고 각 모서리가 일부 함수 f에 대해 최대 f (k) 도의 …

9 graph-theory co.combinatorics planar-graphs

1

금융 경제학에서 포트폴리오 이론의 복잡성 분류는 무엇입니까?

모두 알다시피, 2008 년 금융 위기에서 탈락하고 있습니다. 금융 경제와 관련된 기본 복잡성 클래스를 알지 못했을 때 복잡성 이론이이 모든 것에 어떻게 적용되는지 생각하고있었습니다. 제 질문은 Markowitz의 포트폴리오 이론과 CAPM 모델의 복잡성 분류 (있는 경우)는 무엇입니까? 또한 복잡성 이론이 금융 위기와 어떤 관련이 있는지에 대한 의견을 환영합니다!

9 cc.complexity-theory gt.game-theory ce.computational-finance

1

이 유한 언어를 설명하는 다항식 크기 CFG가 있습니까?

순열이 있습니까 π1,π2π1,π2\pi_1,\pi_2 다항식 크기 | 승 | =n|w|=n|w|=n유한 언어를 설명하는 문맥 자유 문법 { 승π1( w )π2( w ) }{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\} 알파벳 이상 { 0 , 1 }{0,1}\{0,1\}? 업데이트 : 한 순열 ππ\pi 것이 가능하다. ππ\pi 반전의 반전 또는 비교적 작은 수정입니다.

9 fl.formal-languages grammars context-free

3

구문 및 시맨틱 클래스의 장점

UP의 결과와 분리 된 게시물 은 NP와 같 으며 시맨틱 대 구문 복잡성 클래스에 대한 후속 질문 입니다. 위의 글에서 우리는 시맨틱 및 구문 클래스 에 대해 배웠습니다 . 클래스가 리프 언어 클래스 로 특성화 될 수있는 경우 간단히 설명 L [엘1|엘2]L[L1|L2]\mathsf{L}[L_1|L_2]그런 다음 클래스는 구문 엘1∪엘2=Σ※L1∪L2=Σ∗L_1 \cup L_2 = \Sigma^*즉, …

9 cc.complexity-theory complexity-classes big-picture

5

기본 힘에 기반한 자연 계산

자연 현상에서 영감을 얻은 계산의 잘 알려진 예는 양자 컴퓨터와 DNA 컴퓨터입니다. Maxwell의 법칙 또는 중력을 사용한 컴퓨팅의 잠재력 및 / 또는 한계에 대해 알려진 것은 무엇입니까? 즉, 자연의 "빠른"솔루션을 Maxwell 방정식 또는 n-body 문제에 범용 알고리즘에 직접 통합 할 수 있습니까?

9 computability machine-models physics natural-computing

2

임계 값 완전 동종 암호화 시스템

최근 Craig Gentry는 완전히 동형 인 최초의 공개 키 암호화 체계 (일반 텍스트 공간 {0,1})를 공개했습니다. 즉, 비밀 암호 해독 키에 대한 지식 없이도 암호화 된 일반 텍스트에서 AND 및 XOR을 효율적이고 간결하게 평가할 수 있습니다. 이 공개 키 암호화 시스템을 임계 값 공개 키 암호화 시스템으로 전환하여 모든 사람이 …

9 cr.crypto-security circuit-complexity homomorphic-encryption

1

구현하기가 너무 어려운 강력한 알고리즘 – 올바른지 확인하는 방법?

여기서 질문을 참조하고 있습니다 : 강력한 알고리즘이 너무 복잡하여 구현할 수 없습니다 . 알고리즘이 강력하지만 구현하기에 너무 복잡한 경우 알고리즘이 올바른지 어떻게 확인할 수 있습니까? 구현하지 않으면 실제 시나리오에서 알고리즘을 테스트 할 수 없으며 이러한 복잡한 알고리즘에는 버그가 포함되어 알고리즘을 무효화 할 수 있습니다. 이것이 내가 이해하지 못하는 것입니다. 알고리즘의 …

9 ds.algorithms implementation

3

다각형 삼각 분할 알고리즘

자체 교차 다각형 (구멍 구조가있는 다각형) 삼각 측량에 대한 알고리즘을 찾거나 논문을 출판하는 데 어려움이있었습니다. 출판 된 논문 / 알고리즘을 찾도록 안내해 줄 수 있습니까? 추신 : 누군가이 질문에 적절하게 태그하십시오. 평판 포인트가 충분하지 않습니다.

9 ds.algorithms reference-request cg.comp-geom

2

k-SAT에 대한 정보 (소개, 경계, 방법 등)

k-SAT를 훌륭하고 부드럽게 소개 할 수있는 곳을 알고 싶습니다 (컴퓨터 과학 배경이 좋지 않은 수학자 일 수 있음). 또한 k-SAT를 해결하는 데 사용되는 현재 방법을 조사하거나 설명하는 논문을 알고 싶습니다. 마지막으로 k-SAT를 해결하는 가장 잘 알려진 방법에 관심이 있습니다. 최고의 평균 사례와 최고의 최악의 행동에 대한 아이디어를 얻고 싶습니다. 요컨대, …

9 reference-request sat survey

4

선형 경계 오토마타가 다른 오토마타만큼 인기가없는 이유는 무엇입니까?

내 경험상, 문맥 인식 언어와 선형 경계 오토마타는 계산 이론 이론에서 자주 건너 뛰거나 삐걱 거리며, 유한하고 푸시 다운 오토마타는 많은 관심을받지 만 주목할만한 교과서에서 제외됩니다. LBA가 상대방보다 집중력이 떨어지는 이유는 분명할까요?

9 computability fl.formal-languages automata-theory

3

경계 높이 트리에 무작위로 생성하려면 어떻게해야합니까?

내가 작업중 인 프로젝트의 경우 높이가 제한된 임의의 스패닝 트리를 생성해야합니다. 기본적으로 다음을 수행합니다. 1) 스패닝 트리 생성 2) 실행 가능 여부를 확인합니다 (가능한 경우). 1) 최소 스패닝 트리 (Prim 또는 Kruskal)에서 시작하여 존재하지 않는 가장자리를 추가하면 사이클이 생성됩니다.이 사이클을 감지 하고이 사이클의 가장자리 중 하나를 제거하여 새로운 스패닝 트리를 …

9 ds.algorithms graph-algorithms random-walks

1

직교 패킹 문제의 특수한 경우의 NP- 경도

를 차원 직사각형 모양 의 집합으로 하자 . 용 및 , 길이 설명 차원에서 . 컨테이너 대해 동일한 표기법이 사용됩니다 . 차원 직교 패킹 문제 (OPP- ) 결정되는 경우 용기에 끼워 중첩되지는. 공식적으로 말하면, 문제는 함수가 있는지 알아 내는 것입니다.VVV디DD디∈ { 1 , . . . , D }d∈{1,...,D}d \in …

9 cc.complexity-theory reference-request np-hardness packing

2

트랩 도어가없는 일방향 순열

한마디로 : 단방향 순열 이 있다고 가정하면 트랩 도어가없는 것을 만들 수 있습니까? 더 많은 정보: 단방향 순열은 순열입니다 ππ\pi계산하기는 쉽지만 반전하기는 어렵습니다 ( 보다 공식적인 정의는 단방향 기능 태그 위키 참조). 우리는 보통 일방향 순열의 패밀리 를 고려합니다 .π={πn}n∈Nπ={πn}n∈N\pi = \{\pi_n\}_{n \in \mathbb{N}}, 여기서 각각 πnπn\pi_n유한 도메인 에 작용하는 …

9 cr.crypto-security one-way-function

2

램지 정리의 확장 : 단색이지만 다양 함

Hsien-Chih Chang에 의해 해결 된 나의 이전 질문에 대한 후속 조치로서, Ramsey 정리의 적절한 일반화를 찾기위한 또 다른 시도가 있습니다. (이전 질문을 읽을 필요는 없습니다.이 게시물은 독립적입니다.) 매개 변수 : 정수 이 주어진 다음 이 충분히 크게 선택됩니다. 용어 : -subset은 크기의 부분 집합입니다 .1 ≪ d« K « N1≪d≪k≪n1 …

9 reference-request co.combinatorics ramsey-theory

1

VRP / VRPTW (TSP, Job-Shop-Scheduling)의 SAT / SMT 공식은 무엇입니까?

VRATW (Time-Windows)를 사용하여 차량 라우팅 문제를 결정 문제로 SAT / SMT 인스턴스로 구성하는 방법이 궁금합니다. (대안 : TSP) 예 : "n = 10 차량으로 시간대 내에있는 모든 고객을 방문하는 유효한 솔루션이 있습니까?" 이 결정 문제는 사용되는 차량의 수를 최소화하는 첫 번째 단계에 유용 할 수 있습니다. SMT에 대한 경험이 없지만 …

9 ds.algorithms reference-request sat reductions tsp