Jon-Lark Kim (김종락), Introduction to Boolean functions with Artificial Neural Network

Room B232 IBS (기초과학연구원)

A Boolean function is a function from the set Q of binary vectors of length n (i.e., the binary n-dimensional hypercube) to F2={0,1}. It has several applications to complexity theory, digital circuits, coding theory, and cryptography. In this talk we give a connection between Boolean functions and Artificial Neural Network. We describe how to represent

Rose McCarty, Circle graphs are polynomially chi-bounded

Room B232 IBS (기초과학연구원)

Circle graphs are the intersection graphs of chords on a circle; vertices correspond to chords, and two vertices are adjacent if their chords intersect. We prove that every circle graph with clique number k has chromatic number at most 4k2. Joint with James Davies.

Sang June Lee (이상준), On strong Sidon sets of integers

Room B232 IBS (기초과학연구원)

Let N be the set of natural numbers. A set AN is called a Sidon set if the sums a1+a2, with a1,a2S and a1a2, are distinct, or equivalently, if \ for every x,y,z,wS with x<yz<w. We define strong Sidon sets as follows: For a constant α with $0\leq

Xin Zhang (张欣), On equitable tree-colorings of graphs

Room B232 IBS (기초과학연구원)

An equitable tree-k-coloring of a graph is a vertex coloring using k distinct colors such that every color class (i.e, the set of vertices in a common color) induces a forest and the sizes of any two color classes differ by at most one. The minimum integer k such that a graph G is equitably

Jinyoung Park (박진영), The number of maximal independent sets in the Hamming cube

Room B232 IBS (기초과학연구원)

Let Qn be the n-dimensional Hamming cube (hypercube) and N=2n. We prove that the number of maximal independent sets in Qn is asymptotically 2n2N/4, as was conjectured by Ilinca and Kahn in connection with a question of Duffus, Frankl and Rödl. The value is a natural lower bound derived from a connection between maximal independent

Suil O (오수일), An odd [1,b]-factor in regular graphs from eigenvalues

Room B232 IBS (기초과학연구원)

An odd $$-factor of a graph is a spanning subgraph H such that for every vertex vV(G), 1dH(v)b, and dH(v) is odd. For positive integers r3 and br, Lu, Wu, and Yang gave an upper bound for the third largest eigenvalue in an r-regular graph with even number of

Patrice Ossona de Mendez, A model theoretical approach to sparsity

Room B232 IBS (기초과학연구원)

We discuss how the model theoretic notion of first-order transduction allows to define a notion of structural sparsity, and give some example of applications, like existence of low shrub-depth decompositions for tranductions of bounded expansion classes, characterization of transductions of classes with bounded pathwidth, decompositions of graphs with bounded rank-width into cographs.

Dabeen Lee (이다빈), Integrality of set covering polyhedra and clutter minors

Room B232 IBS (기초과학연구원)

Given a finite set of elements V and a family C of subsets of V, the set covering problem is to find a minimum cardinality subset of V intersecting every subset in the family C. The set covering problem, also known as the hitting set problem, admits a simple integer linear programming formulation. The constraint

2019 IBS Summer Research Program on Algorithms and Complexity in Discrete Structures

Room B232 IBS (기초과학연구원)

Schedule July 22 Monday 10:00-11:00 Introduction, 11:00-12:00 Open Problems July 23 Tuesday 10:00-10:30 Stefan Kratsch, Humboldt-Universität zu Berlin, Germany Elimination Distances, Blocking Sets, and Kernels for Vertex Cover 10:45-11:15 Benjamin Bergougnoux, University Clermont Auvergne, France More applications of the d-neighbor equivalence 11:30-12:00 Yixin Cao, Hong Kong Polytechnic University, China Enumerating Maximal Induced Subgraphs 13:30-14:30 Open Problems

IBS 이산수학그룹 Discrete Mathematics Group
기초과학연구원 수리및계산과학연구단 이산수학그룹
대전 유성구 엑스포로 55 (우) 34126
IBS Discrete Mathematics Group (DIMAG)
Institute for Basic Science (IBS)
55 Expo-ro Yuseong-gu Daejeon 34126 South Korea
E-mail: dimag@ibs.re.kr, Fax: +82-42-878-9209
Copyright © IBS 2018. All rights reserved.