Thuật ngữ cho một biểu đồ với các cổng trên các nút của nó


8

Biểu đồ là một khái niệm được xác định rõ trong toán học, khoa học máy tính và các ngành kỹ thuật phụ thuộc vào chúng. Tuy nhiên, thông thường, việc triển khai thực tế đồ thị (được định hướng) trong một miền hoặc ứng dụng nhất định yêu cầu các cạnh không chỉ đơn thuần kết nối các đỉnh mà thay vào đó kết nối các cổng tồn tại trên các đỉnh này. Trong biểu đồ có hướng, điều này sẽ ngụ ý phân tách giữa các cổng đầu vào và cổng đầu ra, trong đó thông thường một cạnh bắt đầu tại một cổng đầu ra và đến một cổng đầu vào.

Các ví dụ rất dễ tìm thấy: các công cụ thiết kế đổ bóng, biểu đồ luồng tín hiệu trong lý thuyết trình biên dịch, lược đồ điện tử, kịch bản ETL cấp cao ... tất cả các công cụ này yêu cầu các đỉnh có đầu vào và đầu ra khác biệt.

Bây giờ cho câu hỏi của tôi: có bất kỳ lý thuyết và danh pháp về các loại biểu đồ này, hoặc đây có được coi là một "vấn đề thực hiện" của khoa học kỹ thuật không? Như bạn nhận thấy từ câu hỏi của mình, tôi không thể xác định chính xác loại này được gọi là gì ("Đồ thị với các nút nút") và tôi rất muốn thấy câu trả lời đó.


2
Tôi không chắc liệu có tồn tại một thuật ngữ cụ thể cho những gì bạn đang tìm kiếm hay không, nhưng với tôi nó cũng không rõ đó là gì. Bạn đang cố gắng ghi lại "ghi nhãn" của các cổng, để bạn có thể nói rằng một cạnh kết nối "cổng đầu ra 1 của nút A" với "cổng đầu vào 3 của nút B", v.v.? Nếu có, thì bạn có thể vẽ biểu đồ với các đỉnh biểu thị các cổng (hai loại đỉnh: "cổng đầu vào" có in-độ = 1 và "cổng đầu ra" với out-độ = 1). Cái từng là "đỉnh" bây giờ là một sơ đồ con (trên các cổng đầu vào và đầu ra của nó).
megas

Có, bạn có thể tạo một sơ đồ con tương đương. Các sơ đồ con có nền tảng "nghiêm trọng" hơn trong lý thuyết?
Wouter Lievens

Trong lý thuyết viết lại đồ thị, chúng được gọi giống như vậy: (nhiều-) đồ thị có cổng. Các cổng là "nhãn" cụ thể để phân biệt các kết nối.
Hendrik ngày

Tôi không thấy bất kỳ nỗ lực nào để phân loại và nghiên cứu loại biểu đồ này (trong đó các đỉnh có thể là biểu đồ), tuy nhiên tôi nghĩ chúng có ý nghĩa - có vẻ như các thuật toán hai cấp sẽ tỏa sáng ở đây. Dù sao, thật tốt khi thấy (trong câu hỏi của bạn) một số ví dụ về các vấn đề bạn mong muốn giải quyết chúng. Chào mừng đến với trang web!
HEKTO

Câu trả lời:


5

Tôi đã tự hỏi điều tương tự. Dường như có một số ấn phẩm xoay quanh ý tưởng này, hầu hết trong số đó là tại hội thảo TERMGRAPH . Chúng thường được gọi là đồ thị cổng của Google.

Theo dõi công việc liên quan của một mẫu giấy ngẫu nhiên cho thấy những điều sau đây có thể là giấy chính giới thiệu chủ nghĩa hình thức này:

Andrei, O. và H. Kirchner, Một phép tính viết lại cho nhiều chữ có cổng ., Trong: Kỷ yếu của RULE'07, Ghi chú điện tử trong Khoa học máy tính lý thuyết 219, 2008, trang 67.

Một điều mà tôi thấy đặc biệt thú vị là

Sandra Alves, Maribel Fernández và Ian Mackie. Một tính toán đồ họa mới của bằng chứng . Trong TERMGRAPH, tập 48 của EPTCS, trang 69 Từ84, 2011

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.