問題タブ [set-theory]

問題: 完全なグラフ Kn のエッジ E の順序付けられたセットについて、エッジ Ei が与えられた場合、エッジの頂点 (v, w)_Ei を見つけます。

注: これはグラフ理論に固有の問題ではありませんが、親しみやすさだけを理由に問題を表現するために選択されました。誤った表記が導入されたことをお詫びします。

頂点 1、2、3、4、5 から構成される完全なグラフ K5 から構築されたものと仮定すると、グラフのエッジの順序付けられたセット E があり、合計 10 個のエッジがあります。集合 E は常に次のように順序付けられることが知られています。

Ei = (0 < v < n, v < w =< n)

任意の Ei について、i のみを使用して頂点 (v, w)_Ei を見つける必要があります。たとえば、6 が与えられた場合、(2, 4) を取得する必要があります。

更新: この問題を表現するもう 1 つの、おそらくより簡単な方法は次のとおりです。

これはどのように行われますか？

集合論を学びたいと思っています。私のコーディングの歴史は主に実用的であり、物事の理論的な側面にもっと移りたいと思います。集合論の基本的な概念は理解していると思いますが、そのアプリケーション、表記法、および集合に対して実行できる操作については何も知りません。

私を正しい方向に向けることができるどんなリソースも素晴らしいでしょう！

このテーブル構造とサンプルデータを考えると（t3はクエリで使用しないでください。ここでは、t1とt2の関係を示しています）。

次の条件を満たすSQLクエリをどのように作成しますか。

テーブルが大きくてもパフォーマンスが低下しません...？

特定の文法の最初のセットを作成しているときに、アルゴリズムのリファレンスに記載されていないシナリオに気付きました。

つまり、このようなルールを持つ非終端記号のフォロー セットをどのように計算するのでしょうか。

<..> で囲まれた式は非終端記号で、COMMA は終端記号です。
私の最善の推測では、空の文字列をフォローセットに追加するだけですが、よくわかりません。

通常、プロダクション ルールの最後にある非終端記号の場合、左側の非終端記号の次のリストを計算するだけですが、これがどのように問題になるかがわかります。

std :: set_unionとその親族は、操作対象のセットに対して2組のイテレータを使用します。それが最も柔軟なことであるという点でそれは素晴らしいことです。ただし、通常の使用の80％でよりエレガントな、追加の便利な機能を簡単に作成できたはずです。

例えば：

向きを変えるだろう：

の中へ：

それで：

• 私が見つけていない場所に隠れているこのような便利な機能はありますか？

• そうでない場合、STLから除外される理由を誰かが知ることができますか？

• ブーストには、おそらくもっとフル機能のセットライブラリがありますか？（見つかりません）

もちろん、いつでもどこかのユーティリティライブラリに実装を配置できますが、すべてのプロジェクトで使用されるように整理するのは困難ですが、不適切に統合されることはありません。

Concat()複数の ISet で使用して、1 つの大きな ISet を作成しようとしています。そこで、次のコードを試しました。

問題は、これによりコンパイラ エラーが発生することです。

System.Collections.Generic.IEnumerable<Faa>タイプを に暗黙的に変換することはできませんSystem.Collections.Generic.ISet<Faa>。明示的な変換が存在します (キャストがありませんか?)

そして2番目のエラー：

System.Func<System.Collections.Generic.ISet<Faa>,System.Collections.Generic.ISet<Faa>,System.Collections.Generic.ISet<Faa>>ブロック内の一部の戻り値の型がデリゲートの戻り値の型に暗黙的に変換できないため、ラムダ式をデリゲートの型に変換できません

私も次のようなキャストを使用してみました：

InvalidCastExceptionしかし、これは私に を与えConcatIteratorます。

すべての ISet を 1 つの ISet に結合するにはどうすれば良いキャストを行うことができますか?

関数 Next[u,x] が u からの u エッジを持つノードのセットを与えるリラックスしたトライを使用して、文字列を認識するためのこの疑似コードを定義しました (基本的に (u,x,v)は T のエッジです)。

ここにあります：

基本的に、ループの事後条件を定義し、ループ不変条件を指定しました (これらの要素をカバーしたと思いますが、説明するのに役立つと思われる場合は、それを使用してください)。

したがって、不変条件が不変である理由 (つまり、ループ条件が成立する場合にループ本体によってどのように保持されるか) を示す短い引数を与える必要があります。

次に、入力を進めずに新しいノードに移動できるように、この擬似コードを拡張する必要があります。

(別の配列 (Null など) を追加することでこれを行うと思います。Null[u] は、入力を進めずに u から移動できる状態のセットです)

また、入力を進めることなく U の状態から入力のすべての状態を確認する前の各反復に到達できるように変更する必要があります。

ご協力いただきありがとうございます。これらの 2 つの手順は非常に難しいと感じていますが、最初の部分の疑似コードは問題ないと思います

このDFAは（Q、q1、A、N、F）と記述されています。

Q = {1,2,3,4}、
q1 = 1、
A = {a、b、c}、
F = {2,4}、
N = {
（1、a）-> 2、（1、b ）-> 3、（1、c）-> 4、
（2、a）-> 2、（2、b）-> 4、
（3、a）-> 2、（3、c）-> 4
（4、b）-> 4、（4、c）-> 4}

だから私は遷移図を描きました、そしてそれはうまく見えます、

次に、次の文字列がこのDFAで受け入れられるかどうかを判断する必要があります。

1. aabbcc
2. acacac
3. キャバック
4. ババブ

そして、次のことを思い付く

1. 正しい
2. 不正解（a-> cから移動できませんか？）
3. 不正解（c -aから移動できませんか？）
4. 不正解（b-> aから移動できません）

それらが正しいかどうかは100％わかりませんが、正しい方向に進んでいると思います。

次に、これが受け入れる言語を英語で説明する必要があります。これは問題ではないと思いますが、助けが必要なのは、数学表記を使用してこの言語を説明することです。これを理解するのを手伝っていただけませんか。

あなたの助けをどうもありがとう

いくつかの共通要素を共有する 2 つの NSArrays A と B があります。

要素の順序を維持し、重複を削除しながら、2 番目の NSArray のコンテンツと結合された 2 つの NSArray 間で共通のコンテンツで構成される新しい NSArray を作成したいと考えています。つまり、(A ∩ B) ∪ B が欲しいです。

以前の NSArray に対する操作は次のようになります。

Objective-C でこれを達成するにはどうすればよいですか?

私は最近、複雑なSQLクエリに苦労しています。
私は次のテーブルを持っています：

これは基本的に、ユーザーが各プロパティの値を選択するプロジェクトです。各プロパティは、単一値または複数値にすることができます。たとえば、ユーザーはプロパティ{ID = 1、title = Hobbies}に複数の値を選択できますが、プロパティ{ID = 2、title=HairColor}には単一の値を選択する必要があります。

別のテーブルを使用する-[dbo]。[Search_Property_Values_User_Linkage]-{UserID、PropertyID、valueID}必要なプロパティを選択しており、一致するユーザーを見つけることを期待しています。ただし、HairColorなどの値（または複数値）を選択していない場合は、すべてのユーザーを取得する必要があります（HairColorでフィルター処理したくないため）。

これまでのところ簡単ですが、私が解決できないと思われる問題は、複数の値が先にあるか、ユーザー定義の値がない場合です。たとえば、HairColor =BrownとHobbiesIN（basketball、football）のすべてのユーザーが必要です。

いずれかの用語に一致するすべてのユーザー（および、フィルターを選択していないため、他のプロパティを持つユーザー）を取得できますが、条件に完全に一致するユーザーのみを取得することはできません。

コードを言葉にするために、次のようなすべてのユーザーが必要だとしましょう。

• 私が選択したすべてのプロパティ値に一致する
• EyesColorなどの他のプロパティがある場合もありますが、フィルタリング値を選択していないため、それらも取得される可能性があります。
• プロパティがまったく設定されていない可能性がありますが、このプロパティの値を選択していないため、有効です。
• 私が選択した1つのプロパティだけでなく、選択したすべてのプロパティをグループとして一致させます（バスケットボールが好きで、HairColorに「赤」が付いているユーザーは無効です！

選択されていない値をビット単位で「補完」する仮想テーブルを作成するソリューションに出くわしました。たとえば（実際のコードではありません）：

基本的に、[Property] WITH [User]をCROSS-
JOINし、残りのテーブルをLEFT-OUTER-JOINして、選択に一致させます。
すべてのユーザーとそのプロパティへの一致を取得します。茶色の髪のユーザー、バスケットボール/サッカーが好きなユーザーはいますが、両方に一致するユーザー（そしてもちろん私が他の未定義のプロパティ）を持っているユーザーはいないので、これでは十分ではありません。
これは重いですが、問題を分析するためにこれまでに得たものです。

助けていただければ幸いです。10年前の数学の授業で何かが足りないと思います...

編集：db pic：http: //i51.tinypic.com/2n1cfwg.png