搜索页_+Proof+complexity

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

中国地质文献-英文(2)	SpringerLink电子期刊(1559)	GSW全文库(2)
Wiley电子期刊(10)	ProQuest学位论文(111)	Elsevier电子期刊(913)
Springer电子图书(8)	NATURE电子期刊(4)	ACS电子期刊(34)

在“Elsevier电子期刊”中，命中：913条，耗时：0.0149937 秒

在所有数据库中总计命中：2,643条

1.The exact information-based complexity of smooth convex minimization

作者：Yoel Drori ^{dyoel@google.com}

关键词：Convex optimization ; Complexity ; Rate of convergence ; Information-based complexity

刊名：Journal of Complexity

出版年：2017

2.A new proof of Seymour's 6-flow theorem

作者：Matt DeVos^a ; ¹ ; ^{mdevos@sfu.ca} ; Edita Rollová ; ^b ; ² ; ^{rollova@ntis.zcu.cz} ; Robert &Scaron ; á ; mal^c ; ³ ; ^{samal@iuuk.mff.cuni.cz}

关键词：Nowhere-zero flow ; 6-flow

刊名：Journal of Combinatorial Theory, Series B

出版年：2017

3.Backdoors into heterogeneous classes of SAT and CSP

作者：Serge Gaspers^a ; ^{sergeg@cse.unsw.edu.au} ; Neeldhara Misra^b ; ^{mail@neeldhara.com} ; Sebastian Ordyniak^c ; ^{sordyniak@gmail.com} ; Stefan Szeider^c ; ^{stefan@szeider.net} ; Stanislav Živný ; ^d ; ^{standa.zivny@cs.ox.ac.uk}

关键词：Constraint satisfaction ; Satisfiability ; Backdoor set ; Parameterized complexity

刊名：Journal of Computer and System Sciences

出版年：2017

4.A new characterization of -weak tractability

作者：A.G. Werschulz^a ; ^b ; ^{agw@cs.columbia.edu} ; H. Woźniakowski^b ; ^c ; ^{henryk@cs.columbia.edu}

关键词：Weak tractability ; Curse of dimensionality ; Approximation

刊名：Journal of Complexity

出版年：2017

5.On the complexity of failed zero forcing

作者：Yaroslav Shitov ^{yaroslav-shitov@yandex.ru}

关键词：Graph theory ; Zero forcing

刊名：Theoretical Computer Science

出版年：2017

6.The complexity of signed graph and edge-coloured graph homomorphisms

作者：Richard C. Brewster^a ; ^{rbrewster@tru.ca} ; Florent Foucaud^b ; ^{florent.foucaud@gmail.com} ; Pavol Hell^c ; ^pavol@sfu.ca ; Reza Naserasr^d ; ^reza@lri.fr

关键词：Signed graph ; Edge-coloured graph ; Graph homomorphism ; Dichotomy theorem

刊名：Discrete Mathematics

出版年：2017

7.Improved and simplified inapproximability for k-means

作者：Euiwoong Lee¹ ; Melanie Schmidt ; ² ; ^{melanie.schmidt@tu-dortmund.de} ; John Wright³

关键词：k-Means ; Hardness of approximation ; Clustering ; Computational complexity

刊名：Information Processing Letters

出版年：2017

8.Vertex 2-coloring without monochromatic cycles of fixed size is NP-complete

作者：Michał Karpiński ^{karp@cs.uni.wroc.pl}

关键词：Graph coloring ; Sat ; Computational complexity ; Monochromatic cycles

刊名：Theoretical Computer Science

出版年：2017

9.Algorithm for computing μ-bases of univariate polynomials

作者：Hoon Hong ^{hong@ncsu.edu} ; Zachary Hough ^{zchough@ncsu.edu} ; Irina A. Kogan ^{iakogan@ncsu.edu}

关键词：12Y05 ; 13P10 ; 14Q05 ; 68W30

刊名：Journal of Symbolic Computation

出版年：2017

10.High-throughput stochastic tensile performance of additively manufactured stainless steel

作者：Bradley C. Salzbrenner^a ; Jeffrey M. Rodelas^a ; Jonathan D. Madison^a ; Bradley H. Jared^a ; Laura P. Swiler^a ; Yu-Lin Shen^b ; Brad L. Boyce^a ; ^{blboyce@sandia.gov}

关键词：Additive manufacturing ; Rapid prototyping ; 3D printing ; Deformation ; Tensile ; Statistics

刊名：Journal of Materials Processing Technology

出版年：2017

按检索点细分(913)

题名(20)

关键词(87)

文摘(672)

按出版年细分(913)

2027年及以后(35)

2017年(15)

2016年(56)

2015年(18)

2014年(5)

2013年(58)

2012年(64)

2011年(78)

2010年(49)

2009年(47)

2008年(48)

2007年(53)

2006年(39)

2005年(43)

2004年(41)

2003年(39)

2002年(28)

2001年(26)

2000年(31)

2000年及以前(140)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700