Graph theory: Every vertex belongs to some component of the graph -

-

i know intuitively, every vertex of undirected graph must belong component of graph, since @ least, every vertex of graph connected itself. how can proven formally?

consider operator ~ on vertices in (possibly infinite) graph g, v1 ~ v2 iff there path between v1 , v2 (and allowing v ~ v). ~ equivalence relation on vertices(g), since reflexive, symmetric , transitive (you should verify each of these properties).

by definition of component, each equivalence class in vertices(g)/~ associated 1 component of g, , contains vertices of associated component. equivalence classes form partition of sets on defined, each vertex of g in @ least 1 equivalence class, , hence in 1 component.


Comments

Post a Comment

Popular posts from this blog

node.js - How to mock a third-party api calls in the backend -

-
i'm testing application mocha , supertest, test like var request = require('supertest'), app = require('./bootstrap.js'); describe('...', function() { it('...', function() { request(app) .get('/some/url') // ... }); }); the bootstrap.js real application before listen ports all works perfect have add calls third-party api , testing slow so when do, test example takes 5 seconds request(app) .get('/my/endpoint/that/makes/call/others') // ... how can make fake calls during test real when running application? you can use nock purpose.
Read more

java - Could not locate OpenAL library -

-
i writing game using slick2d library, uses lwjgl. lwjgl version 2.9.3. using netbeans 8. i tried adding sounds game, example music track on main menu. problem is, exception when run game, despite game still compiling , running except sound of course: sat mar 21 01:23:57 edt 2015 error:could not locate openal library. org.lwjgl.lwjglexception: not locate openal library. @ org.lwjgl.openal.al.create(al.java:156) @ org.lwjgl.openal.al.create(al.java:156) @ org.lwjgl.openal.al.create(al.java:102) @ org.lwjgl.openal.al.create(al.java:206) @ org.newdawn.slick.openal.soundstore$1.run(soundstore.java:295) @ java.security.accesscontroller.doprivileged(native method) @ org.newdawn.slick.openal.soundstore.init(soundstore.java:292) @ org.newdawn.slick.music.<init>(music.java:156) @ org.newdawn.slick.music.<init>(music.java:75) @ view.mainmenu.init(mainmenu.java:58) i didn't include rest of error states error happens in game code. the...
Read more

Non Unique Username with ASP.Net Identity 2.0 -

-
i have situation username not unique. email used username , 1 email can have many different passwords in database , legitimate. how use asp.net identity 2.0 in situation. var result = await signinmanager.passwordsigninasync(model.username, model.password, model.rememberme, shouldlockout: false); above line expects 1 user in database. if multiple records returned - returns failure. expected logic doesn't work me. how override logic? alternatively, ready customize login problem - not sure things done part of passwordsigninasync. adding cookies etc. please help. i made work. had use username + password combination unique username. these different situations in industry different types of needs.
Read more