컴퓨터 과학

C #에서 웹 API 에 대한 클라이언트를 만드는 동안 null두 가지 다른 것을 나타내는 값 과 관련된 문제가 발생 했습니다. 아무 것도 , 예를 들어 할 foo수도 있고 없을 수도 있습니다.bar unknown : 기본적으로 API 응답에는 속성의 하위 집합 만 포함되므로 원하는 추가 속성을 지정해야합니다. 그래서 알 수없는 경우, 해당 …

11 programming-languages  language-design 

프로그래밍 언어 시맨틱 및 유형 시스템을 프로토 타이핑하는 도구가 있습니까? 또한 유형 건전성과 같은 표준 속성을 검사 할 수있는 도구가 있습니까? 나는 Alloy에 관한 책을 읽고 있기 때문에 내가 원하는 정확한 기능을 제공하지만 관계형 논리를 사용하여 표현 된 모델에 대해 이것을 요구하고 있습니다. Ott에 대해 알고 있지만 이러한 유형의 "모델 …

11 reference-request  programming-languages  semantics  model-checking 

세트 A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , 정수 s⩽ks⩽ks\leqslant k 및 음이 아닌 정수 aijaija_{ij} 됩니다. 내 문제는 찾을 수 있습니다 sss 분리 된 부분 집합 SjSjS_j 의 {1,…,k}{1,…,k}\{1,\ldots,k\} 하도록 : ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; 과 |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij}모든 i∈Sji∈Sji\in S_j 및 j = 1, \ ldots, s에 대해 | S_j | \ leqslant a_ {ij}j=1,…,sj=1,…,sj=1,\ldots,s …

11 complexity-theory  integer-programming 

Java에서는 변수를 다운 캐스트하기 위해 명시 적으로 캐스트해야합니다. public class Fruit{} // parent class public class Apple extends Fruit{} // child class public static void main(String args[]) { // An implicit upcast Fruit parent = new Apple(); // An explicit downcast to Apple Apple child = (Apple)parent; } java가 형식 …

11 object-oriented  type-inference  language-design 

제목은 모든 것을 말하지만, 정리 증명자가 어떻게 'Isabelle'로 명명되었는지는 분명하지 않기 때문에 궁금합니다. 사람의 이름을 딴 것입니까? 일부 Google 검색에서 찾을 수 없습니다.

11 history  automated-theorem-proving  isabelle 

실수 행렬의 거듭 제곱 (양의 정수)을 찾으려면 하나가 필요합니다. 효율적인 행렬 곱셈 알고리즘이 많이 있지만 (예 : 일부 병렬 알고리즘은 Cannon 's, DNS ) 행렬의 힘을 찾기위한 알고리즘이 있으며 행렬 곱셈의 순차적 실행보다 더 효율적인 알고리즘이 있습니까? 병렬 알고리즘에 특히 관심이 있습니다.

11 algorithms  parallel-computing  efficiency  matrices  numerical-algorithms 

왜 NP가 EXPTIME에 있는지 쉽게 확인할 수 있습니까? 초 지수 시간을 필요로하는 문제가있을 수 있지만 다항식 시간으로 그 해를 확인할 수있는 문제가 있다고 생각됩니다.

11 complexity-theory  complexity-classes 

일반 expresssion은 재귀 적으로 정의된다 ∈ Σㅏaa 일부 , 정규 표현식이다∈ Σa∈Σa \in \Sigma εε\varepsilon 은 정규 표현식입니다. ∅∅\emptyset 은 정규 표현식입니다. R 1 R 2( R1∪ R2)(R1∪R2)(R_1 \cup R_2) 여기서 및 는 정규식입니다.아르 자형1R1R_1아르 자형2R2R_2 R 1 R 2( R1∘ R2)(R1∘R2)(R_1 \circ R_2) 곳 및 정규 표현식 정규 표현식이되고있다,아르 …

11 formal-languages  regular-languages  regular-expressions 

고급 언어가 속도 측면에서 하위 언어에 도달하지 못하는 이유는 무엇입니까? 고급 언어의 예로는 Python, Haskell 및 Java가 있습니다. 저수준 언어는 정의하기가 까다로울 수 있지만 C라고 가정 해 봅시다. 인터넷 전체에서 비교를 찾을 수 있으며 은 모두 C가 훨씬 빠르며 때로는 10 배 이상이라는 데 동의합니다.11^1 이러한 성능 차이가 큰 이유는 …

11 programming-languages  performance 

재미있는 프로젝트로 저는 Richard Korf의 C # 구현-패턴 데이터베이스를 사용하여 Rubik의 큐브에 대한 최적의 솔루션 찾기를 연구했습니다. https://www.cs.princeton.edu/courses/archive/fall06/cos402/papers/korfrubik.pdf 실제로 작동하고 솔루션을 개선하려고합니다. Korf가 논문에서 글을 유포하는 한 가지는 패턴 데이터베이스에 저장하고 색인하는 방법입니다. 이상적으로는 루빅스 큐브의 인스턴스를 사용하여 배열에 인덱스를 생성하고 싶다고 생각합니다. 내 질문은이 인덱스를 생성하는 가장 좋은 방법에 …

11 algorithms  permutations 

Shor의 알고리즘은 종종 인수로 사용됩니다. 기존 컴퓨터의 알려진 알고리즘보다 더 빨리 분해 문제를 해결할 수 있습니다. 그러나 우리는 클래식 컴퓨터가 정수를 효율적으로 고려할 수 없다는 증거는 없습니다. 양자 컴퓨터가 실제 컴퓨터보다 일부 문제를 더 빨리 해결할 수있는 증거가 있습니까?

11 algorithms  efficiency  quantum-computing 

카티 제품의 부분 집합을 감안할 때 이 개 유한 집합, 나는 데카르트 제품 그 자체입니다 설정하여 최소한의 커버를 발견하고 싶습니다.나는× JI×JI \times J 예를 들어, 사이의 제품을 특정 및 , I는 일부 관찰 할 수 하고 최소한의 카티 전 곱으로 덮어보세요.J = { 1 , 2 , 3 } { …

11 algorithms  set-cover 

최대 가중치를 계산하는 것보다 비가 중 이분 그래프에서 최대 일치의 크기를 더 효율적으로 (예 : 더 빨리) 계산하는 방법이 있습니까? 긴 샷이지만 이러한 계산을 피하는 것은 종종 흥미로운 문제입니다. 자극 내가 해결하려는 문제 는 두 세트의 크기가 다른 match-2 입니다. 더 작은 세트의 모든 정점을 포함하는 일치 항목이 있는지 확인해야합니다. …

11 algorithms  graphs  optimization  matching  bipartite-matching 

프로그램 분석에서 최소 고정 소수점 (lfp)의 중요성에 대해 큰 그림을 얻으려고합니다. 예를 들어 추상 해석은 lfp의 존재를 사용하는 것 같습니다. 프로그램 분석에 관한 많은 연구 논문들도 고정 점을 찾는 데 중점을두고 있습니다. 보다 구체적으로, 위키피디아 의이 기사 : Knaster-Tarski Theorem 은 lfp가 프로그램 의미론을 정의하는 데 사용된다고 언급합니다. 왜 중요 …

11 programming-languages  finite-model-theory  fixed-point 

Programmers.SE에 대한 답변은 Cook이 쓴 에세이 ( 객체는 ADT가 아님 )를 말합니다. 객체는 대수식이 아닌 유형 값에 대한 특성 함수처럼 작동합니다. 객체는 유형 추상화가 아닌 절차 적 추상화를 사용합니다. ADT는 일반적으로 프로그램에서 고유 한 구현을 갖습니다. 언어에 모듈이 있으면 ADT를 여러 번 구현할 수 있지만 일반적으로 상호 운용 할 수는 …

11 programming-languages  object-oriented  abstract-data-types