close
1.

図書

図書
Jaroslav Nešetřil, Vojtěch Rödl (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  xiv, 269 p. ; 25 cm
シリーズ名: Algorithms and combinatorics ; 5
所蔵情報: loading…
2.

図書

図書
Pavol Hell and Jaroslav Nešetřil
出版情報: Oxford : Oxford University Press, 2004  xii, 244 p. ; 24cm
シリーズ名: Oxford lecture series in mathematics and its applications ; 28
所蔵情報: loading…
3.

図書

図書
Ronald L. Graham, Jaroslav Nešetřil (eds.)
出版情報: Berlin : Springer, c1997  2 v. ; 25 cm
シリーズ名: Algorithms and combinatorics ; 13-14
所蔵情報: loading…
4.

図書

図書
J. Nešetřil, P. Winkler, editors
出版情報: Providence, R.I. : American Mathematical Society, c2004  xx, 193 p. ; 26 cm
シリーズ名: DIMACS series in discrete mathematics and theoretical computer science ; v. 63
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Photographs
List of delivered talks
List of participants
Efficient Local Search Near Phase Transitions in Combinatorial Optimization / S. Boettcher
On the Sampling Problem for H-Colorings on the Hypercubic Lattice / C. Borgs ; J.T. Chayes ; M. Dyer ; P. Tetali
Graph Homomorphisms and Long Range Action / G.R. Brightwell ; P. Winkler
Random Walks and Graph Homomorphisms / A. Daneshgar ; H. Hajiabolhassan
Recent Results on Parameterized H-Colorings / J. Diaz ; M. Serna ; D.M. Thilikos
Rapidly Mixing Markov Chains for Dismantleable Constraint Graphs / M. Jerrum ; E. Vigoda
On Weighted Graph Homomorphisms / D. Galvin
Counting List Homomorphisms and Graphs with Bounded Degrees / P. Hell ; J. Nesetril
On the Satisfiability of Random k-Horn Formulae / G. Istrate
The Exchange Interaction, Spin Hamiltonians, and the Symmetric Group / J. Katriel
A Discrete Non-Pfaffian Approach to the Ising Problem / M. Loebl
Survey--Information Flow on Trees / E. Mossel
Chromatic Numbers of Products of Tournaments--Fractional Aspects of Hedetniemi's Conjecture / C. Tardif
Perfect Graphs for Generalized Colouring--Circular Perfect Graphs / X. Zhu
Foreword
Preface
Photographs
5.

図書

図書
Jaroslav Nešetřil (ed.)
出版情報: Berlin ; New York : Springer, c1999  xii, 552 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1643
所蔵情報: loading…
目次情報: 続きを見る
ESA'99 Program
Adaptively-Secure Distributed Public-Key Systems / Yair Frankel ; Moti Yung ; Philip MacKenzie
How Long Does a Bit Live in a Computer? / Bernhard Korte
Approximation Algorithms for the Traveling Purchaser Problem and Its Variants in Network Design / R. Ravi ; F. S. Salman
The Impact of Knowledge on Broadcasting Time in Radio Networks (Extended Abstract) / Krzysztof Diks ; Danny Krizanc ; Evangelos Kranakis ; Andrzej Pelc
Multipacket Routing on 2-D Meshes and Its Application to Fault-Tolerant Routing / Kazuo Iwama ; Eiji Miyano
IP Address Lookup Made Fast and Simple / Pierluigi Crescenzi ; Leandro Dardini ; Roberto Grossi
On-Line Load Balancing in a Hierarchical Server Topology / Amotz Bar-Noy ; Ari Freund ; Joseph Naor
Provably Good and Practical Strategies for Non-uniform Data Management in Networks / Friedhelm Meyer auf der Heide ; Matthias Westermann ; Berthold Vöcking
Approximation Algorithms for Restoration Capacity Planning / Steven J. Phillips ; JefferyR. Westbrook
Efficient Algorithms for Integer Programs with Two Variables per Constraint (Extended Abstract) / Reuven Bar-Yehuda ; Dror Rawitz
Convex Quadratic Programming Relaxations for Network Scheduling Problems / Martin Skutella
Resource-Constrained Project Scheduling: Computing Lower Bounds by Solving Minimum Cut Problems / RolfH. Möhring ; Frederik Stork ; Marc Uetz ; Andreas S. Schulz
Approximation Schemes for Scheduling on Uniformly Related and Identical Parallel Machines / Leah Epstein ; Jiří Sgall
Off-Line Temporary Tasks Assignment / Yossi Azar ; Oded Regev
Load Balancing Using Bisectors - A Tight Average-Case Analysis / Stefan Bischof ; Thomas Schickinger ; Angelika Steger
On the Analysis of Evolutionary Algorithms - A Proof That Crossover Really Can Help / Thomas Jansen ; Ingo Wegener
Motif Statistics / Pierre Nicodème ; Bruno Salvy ; Philippe Flajolet
Approximate Protein Folding in the HP Side Chain Model on Extended Cubic Lattices (Extended Abstract) / Volker Heun
On Constructing Suffix Arrays in External Memory / Andreas Crauser ; Paolo Ferragina
Strategies for Searching with Different Access Costs / Eduardo Sany Laber ; Ruy Luiz Milidiú ; Artur Alves Pessoa
On the Informational Asymmetry between Upper and Lower Bounds for Ultrametric Evolutionary Trees / Ting Chen ; Ming-Yang Kao
Optimal Binary Search with Two Unreliable Tests and Minimum Adaptiveness / Ferdinando Cicalese ; Daniele Mundici
Improving Mergesort for Linked Lists / Salvador Roura
Efficient Algorithms for On-Line Symbol Ranking Compression (Extended Abstract) / Giovanni Manzini
On List Update and Work Function Algorithms / Eric J. Anderson ; Anna R. Karlin ; Kris Hildrum ; April Rasala ; Michael Saks
The 3-Server Problem in the Plane (Extended Abstract) / Wolfgang W. Bein ; Lawrence L. Larmore ; Marek Chrobak
Quartet Cleaning: Improved Algorithms and Simulations / Vincent Berry ; Tao Jiang ; Paul Kearney ; Ming Li ; Todd Wareham
Fast and Robust Smallest Enclosing Balls / Bernd Gärtner
Efficient Searching for Multi-dimensional Data Made Simple (Extended Abstract) / Enrico Nardelli ; Maurizio Talamo ; Paola Vocca
Geometric Searching over the Rationals / Bernard Chazelle
On Computing the Diameter of a Point Set in High Dimensional Euclidean Space / Daniele V. Finocchiaro ; Marco Pellegrini
A Nearly Linear-Time Approximation Scheme for the Euclidean k-median Problem / Stavros G. Kolliopoulos ; Satish Rao
Sum Multi-coloring of Graphs / Magnús M. Halldórsson ; Guy Kortsarz ; Ravit Salman ; Hadas Shachnai
Efficient Approximation Algorithms for the Achromatic Number / Piotr Krysta ; Krzysztof Loryś
Augmentinga (k - 1)-Vertex-Connected Multigraph to an l-Edge-Connected and k-Vertex-Connected Multigraph / Toshimasa Ishii ; Hiroshi Nagamochi ; Toshihide Ibaraki
An Optimisation Algorithm for Maximum Independent Set with Applications in Map Labelling / Bram Verweij ; Karen Aardal
A Decomposition Theorem for Maximum Weight Bipartite Matchings with Applications to Evolutionary Trees / Tak-Wah Lam ; Wing-Kin Sung ; Hing-Fung Ting
Faster Exact Solutions for Some NP-Hard Problems (Extended Abstract) / Limor Drori ; David Peleg
A Polyhedral Algorithm for Packings and Designs / Lucia Moura
Threshold Phenomena in Random Lattices and Efficient Reduction Algorithms / Ali Akhavi
On Finding the Maximum Number of Disjoint Cuts in Seymour Graphs / Alexander A. Ageev
Dilworth's Theorem and Its Application for Path Systems of a Cycle - Implementation and Analysis / András A. Benczúr ; Jörg Förster ; Zoltán Király
On 2-Coverings and 2-Packings of Laminar Families / Joseph Cheriyan ; Tibor Jordán
Random Cayley Graphs with 0(log|G|) Generators Are Expanders / Igor Pak
A Fully Dynamic Algorithm for Recognizing and Representing Proper Interval Graphs / Pavol Hell ; Ron Shamir ; Roded Sharan
A Fast General Methodology for Information - Theoretically Optimal Encodings of Graphs / Xin He ; Hsueh-I Lu
Author Index
ESA'99 Program
Adaptively-Secure Distributed Public-Key Systems / Yair Frankel ; Moti Yung ; Philip MacKenzie
How Long Does a Bit Live in a Computer? / Bernhard Korte
6.

図書

東工大
目次DB

図書
東工大
目次DB
J. マトウシェク, J. ネシェトリル著 ; 根上生也, 中本敦浩訳
出版情報: 東京 : シュプリンガー・フェアラーク東京, 2002.12  2冊 ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 基礎的な準備 1
   1.1 いくつかの問題 2
   1.2 数と集合-表記 8
   1.3 数学的帰納法と他の証明 17
   1.4 関数 26
   1.5 関係 33
   1.6 同値関係 37
   1.7 順序集合 41
第2章 組合せ的数え上げ 49
   2.1 関数と部分集合 49
   2.2 置換と階乗 54
   2.3 二項係数 58
   2.4 評価-入門編 67
   2.5 評価-階乗関係 75
   2.6 評価-二項係数 83
   2.7 包除原理 88
   2.8 クローク係嬢の問題 93
第3章 グラフ理論入門 99
   3.1 グラフの概念-同型 99
   3.2 部分グラフ、連結成分、隣接行列 107
   3.3 次数列 114
   3.4 オイラー・グラフ 120
   3.5 オイラー回路を求めるアルゴリズム 126
   3.6 オイラー有向グラフ 130
   3.7 2-連結性 135
第4章 木 143
   4.1 木の定義と特徴づけ 143
   4.2 木の同型 150
   4.3 グラフの全域木 156
   4.4 最小全域木問題 161
   4.5 ヤルニークとボルーフカのアルゴリズム 167
第5章 グラフを平面に描く 173
   5.1 平面や曲面の上の描画 173
   5.2 平面的グラフの中の閉路 181
   5.3 オイラーの公式 187
   5.4 地図の色分け-四色定理 197
演習問題のヒント 209
参考文献 223
索引 229
第6章 2通りに教える 1
   6.1 偶奇性の議論 1
   6.2 シュぺルナー定理と独立集合族 11
   6.3 極値グラフ理論の結果 18
第7章 全域木の総数 23
   7.1 結果 23
   7.2 次数列を用いた証明 24
   7.3 脊椎動物を用いた証明 26
   7.4 ブリューファー・コードを用いた証明 29
   7.5 行列式を用いた証明 31
第8章 有限射影平面 41
   8.1 定義と基本的性質 41
   8.2 有限射影平面の存在 51
   8.3 直交するラテン方陣 55
   8.4 組合せ的な応用 59
第9章 確率と確率的証明 63
   9.1 数え上げによる証明 63
   9.2 有限確率空間 70
   9.3 確率変数とその期待値 80
   9.4 いくつかの応用 85
第10章 母関数 95
   10.1 多項式の組合せ的な応用 95
   10.2 ベキ級数を用いた計算 99
   10.3 フィボナッチ数列と黄金比 110
   10.4 二進木 117
   10.5 サイコロを振る 121
   10.6 ランダム・ウォーク 122
   10.7 整数の分割 125
第11章 線形代数の応用 133
   11.1 ブロック・デザイン 133
   11.2 フィッシャーの不等式 139
   11.3 完全二部グラフによる被覆 142
   11.4 グラフのサイクル空間 145
   11.5 循環流と切断-サイクル空間の再登場 150
   11.6 確率的チェック 154
付録 代数学からの準備 165
演習問題のヒント 173
参考文献 185
索引 191
第1章 基礎的な準備 1
   1.1 いくつかの問題 2
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼