가야대학교 분성도서관

상단 글로벌/추가 메뉴

회원 로그인


자료검색

자료검색

상세정보

부가기능

The Computational Complexity of Presburger Arithmetic

상세 프로파일

상세정보
자료유형E-Book
개인저자Nguyen Luu, Danh.
단체저자명University of California, Los Angeles. Mathematics 0540.
서명/저자사항The Computational Complexity of Presburger Arithmetic.
발행사항[S.l.] : University of California, Los Angeles., 2018
발행사항Ann Arbor : ProQuest Dissertations & Theses, 2018
형태사항238 p.
소장본 주기School code: 0031.
ISBN9780438081598
일반주기 Source: Dissertation Abstracts International, Volume: 79-11(E), Section: B.
Adviser: Igor Pak.
요약A wide variety of problems in Discrete Optimization and Integer Programming can be naturally phrased in the language of Presburger Arithmetic (PA), which is the first order logic on the integers with only additions and inequalities. Understandin
요약Most important in PA are the numbers of variables and inequalities involved. The main question addressed in Part I of the dissertation is: By restricting the number of variables and inequalities in PA, do we obtain polynomial complexity? We give
요약In Part II, we investigate the related theory of Short Generating Functions developed by Barvinok and Woods. First, we first extend their polynomial time algorithm for enumerating projected integer points in polytopes to the unbounded polyhedra
요약In Part III, we present two different problems. The first one concerns an extension of PA with scalar multiplications by algebraic irrationals. We show that it has high nonelementary complexity far exceeding that of classical PA, even with a res
일반주제명Mathematics.
언어영어
기본자료 저록Dissertation Abstracts International79-11B(E).
Dissertation Abstract International
대출바로가기http://www.riss.kr/pdu/ddodLink.do?id=T14999110

소장정보

  • 소장정보

인쇄 인쇄

메세지가 없습니다
No. 등록번호 청구기호 소장처 도서상태 반납예정일 예약 서비스 매체정보
1 WE00028418 510 가야대학교/전자책서버(컴퓨터서버)/ 대출가능 인쇄 이미지  

서평

  • 서평

태그

  • 태그

나의 태그

나의 태그 (0)

모든 이용자 태그

모든 이용자 태그 (0) 태그 목록형 보기 태그 구름형 보기
 

퀵메뉴

대출현황/연장
예약현황조회/취소
자료구입신청
상호대차
FAQ
교외접속
사서에게 물어보세요
메뉴추가
quickBottom

카피라이터

  • 개인정보보호방침
  • 이메일무단수집거부

김해캠퍼스 | 621-748 | 경남 김해시 삼계로 208 | TEL:055-330-1033 | FAX:055-330-1032
			Copyright 2012 by kaya university Bunsung library All rights reserved.