نتایج جستجو برای: union closed sets conjecture

تعداد نتایج: 414131  

2012
Alexandros G. Dimakis Megasthenis Asteris

In the previous lectures, we have defined the Shannon Capacity of a graph, Θ(G). This lecture is concerned with the Shannon Capacity of the disjoint union G +H of two graphs G and H. The union of two graphs is, informally, what you get when you just place one graph next to the other. In 1956, Shannon conjectured [1] that Θ(G + H) = Θ(G) + Θ(H). As we will see, this is a very natural conjecture ...

Journal: :J. Comb. Theory, Ser. B 2014
Maria Chudnovsky Paul D. Seymour

Say a set H of graphs is heroic if there exists k such that every graph containing no member of H as an induced subgraph has cochromatic number at most k. (The cochromatic number of G is the minimum number of stable sets and cliques with union V (G).) Assuming an old conjecture of Gyárfás and Sumner, we give a complete characterization of the finite heroic sets. This is a consequence of the fol...

1995
François Lauze

Let k an algebraically closed field, P the n-dimensional projective space over k and TPn the tangent vector bundle of P . In this paper I prove the following result : for every integer l, for every non-negative integer s, if Zs is the union of s points in sufficiently general position in P, then the restriction map H(P, TPn(l)) → H 0(Zs, TPn(l)|Zs) has maximal rank. This result implies that the...

Journal: :CoRR 2014
Diego Fernando C. Carrión L

In this paper I present a conjecture for a recursive algorithm that finds each permutation of combining two sets of objects (AKA the Shuffle Product). This algorithm provides an efficient way to navigate this problem, as each atomic operation yields a permutation of the union. The permutations of the union of the two sets are represented as binary integers which are then manipulated mathematica...

2007
PeiZong Lee Wen-Yao Chen

This paper is concerned with the design of eecient algorithms for generating global name-space communication sets based on execution of array assignment statements on distributed-memory parallel computers. For general cases, although the communication sets can be represented by the union of a functional number of closed forms, these sets cannot be represented by a xed number of closed forms. Cl...

2004
NGUYEN VAN CHAU L. ANDREW

We show that the iterated images of a Jacobian pair f : C 2 → C 2 stabilize; that is, all the sets f k (C 2) are equal for k sufficiently large. More generally, let X be a closed algebraic subset of C N , and f : X → X an open polynomial map with X − f (X) a finite set. We show that the sets f k (X) stabilize, and for any cofinite subset Ω ⊆ X with f (Ω) ⊆ Ω, the sets f k (Ω) stabilize. We appl...

Journal: :Journal of Combinatorial Theory, Series A 1998

Journal: :Discrete Mathematics 1992

Journal: :Annals of Pure and Applied Logic 2022

In this paper, we study several propositional team logics that are closed under unions, including inclusion logic. We show all these expressively complete, and introduce sound complete systems of natural deduction for logics. also discuss the locality property its connection with interpolation in

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید

function paginate(evt) { url=/search_year_filter/ var term=document.getElementById("search_meta_data").dataset.term pg=parseInt(evt.target.text) var data={ "year":filter_year, "term":term, "pgn":pg } filtered_res=post_and_fetch(data,url) window.scrollTo(0,0); } function update_search_meta(search_meta) { meta_place=document.getElementById("search_meta_data") term=search_meta.term active_pgn=search_meta.pgn num_res=search_meta.num_res num_pages=search_meta.num_pages year=search_meta.year meta_place.dataset.term=term meta_place.dataset.page=active_pgn meta_place.dataset.num_res=num_res meta_place.dataset.num_pages=num_pages meta_place.dataset.year=year document.getElementById("num_result_place").innerHTML=num_res if (year !== "unfilter"){ document.getElementById("year_filter_label").style="display:inline;" document.getElementById("year_filter_place").innerHTML=year }else { document.getElementById("year_filter_label").style="display:none;" document.getElementById("year_filter_place").innerHTML="" } } function update_pagination() { search_meta_place=document.getElementById('search_meta_data') num_pages=search_meta_place.dataset.num_pages; active_pgn=parseInt(search_meta_place.dataset.page); document.getElementById("pgn-ul").innerHTML=""; pgn_html=""; for (i = 1; i <= num_pages; i++){ if (i===active_pgn){ actv="active" }else {actv=""} pgn_li="
  • " +i+ "
  • "; pgn_html+=pgn_li; } document.getElementById("pgn-ul").innerHTML=pgn_html var pgn_links = document.querySelectorAll('.mypgn'); pgn_links.forEach(function(pgn_link) { pgn_link.addEventListener('click', paginate) }) } function post_and_fetch(data,url) { showLoading() xhr = new XMLHttpRequest(); xhr.open('POST', url, true); xhr.setRequestHeader('Content-Type', 'application/json; charset=UTF-8'); xhr.onreadystatechange = function() { if (xhr.readyState === 4 && xhr.status === 200) { var resp = xhr.responseText; resp_json=JSON.parse(resp) resp_place = document.getElementById("search_result_div") resp_place.innerHTML = resp_json['results'] search_meta = resp_json['meta'] update_search_meta(search_meta) update_pagination() hideLoading() } }; xhr.send(JSON.stringify(data)); } function unfilter() { url=/search_year_filter/ var term=document.getElementById("search_meta_data").dataset.term var data={ "year":"unfilter", "term":term, "pgn":1 } filtered_res=post_and_fetch(data,url) } function deactivate_all_bars(){ var yrchart = document.querySelectorAll('.ct-bar'); yrchart.forEach(function(bar) { bar.dataset.active = false bar.style = "stroke:#71a3c5;" }) } year_chart.on("created", function() { var yrchart = document.querySelectorAll('.ct-bar'); yrchart.forEach(function(check) { check.addEventListener('click', checkIndex); }) }); function checkIndex(event) { var yrchart = document.querySelectorAll('.ct-bar'); var year_bar = event.target if (year_bar.dataset.active == "true") { unfilter_res = unfilter() year_bar.dataset.active = false year_bar.style = "stroke:#1d2b3699;" } else { deactivate_all_bars() year_bar.dataset.active = true year_bar.style = "stroke:#e56f6f;" filter_year = chart_data['labels'][Array.from(yrchart).indexOf(year_bar)] url=/search_year_filter/ var term=document.getElementById("search_meta_data").dataset.term var data={ "year":filter_year, "term":term, "pgn":1 } filtered_res=post_and_fetch(data,url) } } function showLoading() { document.getElementById("loading").style.display = "block"; setTimeout(hideLoading, 10000); // 10 seconds } function hideLoading() { document.getElementById("loading").style.display = "none"; } -->